On Storage Operators

zbMATH Open0930.03015arXiv0905.1099MaRDI QIDQ4247307

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

zbMATH Keywords

call-by-valuestorage operatorsGödel translationAF2 type system\(\lambda\)-calculus with left reductionconstruction rules for terms

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

The Cooper storage idiom

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)