On Storage Operators

MaRDI QIDQ4247307zbMATH OpenFDO

Authors Karim Nour

Publication date 15 February 2000

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

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)

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.

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

Cited in

(5)

• Lambda-calcul, évaluation paresseuse et mise en mémoire
• A general storage theorem for integers in call-by-name \(\lambda\)- calculus
• S-Storage Operators
• 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)