Lazy logical semantics

MaRDI QIDQ2847789zbMATH OpenFDO

Authors Luca Paolini, Simona Ronchi Della Rocca

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104051539

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Full abstraction in the lazy lambda calculus
• scientific article; zbMATH DE number 1499104
• Lazy lambda calculus: theories, models and local structure characterization (extended abstract)
• scientific article; zbMATH DE number 176136
• The Call-by-Need Lambda Calculus, Revisited

Cited in

(10)

• The semantics of lazy functional languages
• Propositional lax logic
• Lazy strong normalization
• scientific article; zbMATH DE number 176136 (Why is no real title available?)
• scientific article; zbMATH DE number 549962 (Why is no real title available?)
• scientific article; zbMATH DE number 742723 (Why is no real title available?)
• A note on logical relations between semantics and syntax
• Lazy lambda calculus: theories, models and local structure characterization (extended abstract)
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca
• Parametric \(\lambda \)-theories

This page was built for publication: Lazy logical semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847789)