On Storage Operators

zbMATH Open0930.03015arXiv0905.1099MaRDI QIDQ4247307FDOQ4247307

Authors: Karim Nour 

Publication date: 15 February 2000

Abstract: In 1990 Krivine introduced the notion of storage operators. They are $lambda$-terms which simulate call-by-value in the call-by-name strategy. Krivine has shown that there is a very simple type in the AF2 type system for storage operators using G"odel translation from classical to intuitionistic logic. Parigot and Krivine have shown that storage operators play an important tool in classical logic. In this paper, we present a synthesis of various results on this subject.

Full work available at URL: https://arxiv.org/abs/0905.1099

Recommendations

• Storage operators and directed 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

zbMATH Keywords

call-by-valuestorage operatorsAF2 type systemGödel translation\(\lambda\)-calculus with left reductionconstruction rules for terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (4)

• Lambda-calcul, évaluation paresseuse et mise en mémoire
• A general storage theorem for integers in call-by-name \(\lambda\)- calculus
• The Cooper storage idiom
• Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)

This page was built for publication: On Storage Operators

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