Lambda-calcul, évaluation paresseuse et mise en mémoire

DOI10.1051/ITA/1991250100671MaRDI QIDQ3204440zbMATH OpenOpenAlexFDO

Authors Jean-Louis Krivine

Publication date 1991

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92382

zbMATH Keywords

\(\lambda \) -calculuslazy evaluationstorage operators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On Storage Operators
• The call-by-need lambda calculus
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• A general storage theorem for integers in call-by-name \(\lambda\)- calculus
• Lazy lambda calculus: theories, models and local structure characterization (extended abstract)

Cites work

• scientific article; zbMATH DE number 4147469 (Why is no real title available?)
• scientific article; zbMATH DE number 3349775 (Why is no real title available?)
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(7)

• A general storage theorem for integers in call-by-name \(\lambda\)- calculus
• Strong storage operators and data types
• About classical logic and imperative programming
• scientific article; zbMATH DE number 1499104 (Why is no real title available?)
• An estimation for the lengths of reduction sequences of the \(\lambda\mu\rho\theta\)-calculus
• Opérateurs de mise en mémoire et types \forall -positifs
• Storage operators and directed lambda-calculus

This page was built for publication: Lambda-calcul, évaluation paresseuse et mise en mémoire

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