A General Type for Storage Operators
Nour, Karim
HAL, hal-00381039 / Harvested from HAL
Text on HAL
In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in $\lambda$-calculus, the "call by value" in a context of a "call by name". J.L. Krivine has shown that, using Gödel translation from classical into intuitionistic logic, we can find a simple type for storage operators in AF2 type system. In this present paper, we give a general type for storage operators in a slight extension of AF2. We give at the end (without proof) a generalization of this result to other types.
Publié le : 1995-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00381039,
     author = {Nour, Karim},
     title = {A General Type for Storage Operators},
     journal = {HAL},
     volume = {1995},
     number = {0},
     year = {1995},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00381039}
}

Nour, Karim. A General Type for Storage Operators. HAL, Tome 1995 (1995) no. 0, . http://gdmltest.u-ga.fr/item/hal-00381039/