Storage operators and directed lambda-calculus

DOI10.2307/2275874MaRDI QIDQ4876311zbMATH OpenOpenAlexFDO

Authors René David, Karim Nour

Publication date 13 June 1996

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275874

zbMATH Keywords

directed lambda-calculushead-reductionstorage operators

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Opérateurs de mise en mémoire et types \forall -positifs
• Classical logic, storage operators and second-order lambda-calculus
• A general storage theorem for integers in call-by-name \(\lambda\)- calculus
• Lambda-calculus with director strings
• A semantical storage operator theorem for all types
• Resource operators for \(\lambda\)-calculus
• Lambda-calcul, évaluation paresseuse et mise en mémoire
• Storage Operators and ∀‐positive Types in TTR Type System
• scientific article; zbMATH DE number 1330443
• scientific article; zbMATH DE number 3909726

Cites work

• A discrimination algorithm inside --calculus
• Lambda-calcul, évaluation paresseuse et mise en mémoire
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)

Cited in

(6)

• A semantical storage operator theorem for all types
• A syntactical proof of the operational equivalence of two -terms
• Lambda-calculus with director strings
• Strong storage operators and data types
• On Storage Operators
• Opérateurs de mise en mémoire et types \forall -positifs

This page was built for publication: Storage operators and directed lambda-calculus

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