S-storage operators
Nour, Karim
HAL, hal-00381607 / Harvested from HAL
Text on HAL
In 1990, J.L. Krivine introduced the notion of storage operator to simulate, for Church integers, the ``call by value'' in a context of a ``call by name'' strategy. In this present paper, we define, for every $\lambda$-term S which realizes the successor function on Church integers, the notion of S-storage operator. We prove that every storage operator is a $S-storage operator. But the converse is not always true.
Publié le : 1998-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00381607,
     author = {Nour, Karim},
     title = {S-storage operators},
     journal = {HAL},
     volume = {1998},
     number = {0},
     year = {1998},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00381607}
}

Nour, Karim. S-storage operators. HAL, Tome 1998 (1998) no. 0, . http://gdmltest.u-ga.fr/item/hal-00381607/