An abstract property of confluence applied to the study of the lazy partial lambda calculus

DOI10.1007/3-540-58140-5_27MaRDI QIDQ4501158zbMATH OpenFDO

Authors Ramón Pino Pérez, Christian Even

Publication date 3 September 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58140-5_27

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Full abstraction in the lazy lambda calculus
• Lazy lambda calculus: theories, models and local structure characterization (extended abstract)
• Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus
• Lambda-calcul, évaluation paresseuse et mise en mémoire

Cited in

(10)

• Full abstraction in the lazy lambda calculus
• The development of a partial evaluator for extended lambda calculus
• A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names.
• Lazy logical semantics
• Lazy strong normalization
• Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings
• Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus
• Lazy lambda calculus: theories, models and local structure characterization (extended abstract)
• Z property for the shuffling calculus
• PSEUDO: applications of streams and lazy evaluation to integrable models

This page was built for publication: An abstract property of confluence applied to the study of the lazy partial lambda calculus

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