On Storage Operators
Nour, Karim
HAL, hal-00382306 / Harvested from HAL
Text on HAL
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ödel 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.
Publié le : 1995-10-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00382306,
     author = {Nour, Karim},
     title = {On Storage Operators},
     journal = {HAL},
     volume = {1995},
     number = {0},
     year = {1995},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00382306}
}

Nour, Karim. On Storage Operators. HAL, Tome 1995 (1995) no. 0, . http://gdmltest.u-ga.fr/item/hal-00382306/