S-storage operators - Archive ouverte HAL
Article Dans Une Revue MLQ / MLQ - Math Log Quart; MLQ Mathematical Logic Quarterly; Math Log Quart Année : 1998

S-storage operators

Karim Nour

Résumé

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.
Fichier principal
Vignette du fichier
THESE.pdf (126.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00381607 , version 1 (06-05-2009)

Identifiants

Citer

Karim Nour. S-storage operators. MLQ / MLQ - Math Log Quart; MLQ Mathematical Logic Quarterly; Math Log Quart, 1998, 44, pp.99-108. ⟨hal-00381607⟩
76 Consultations
54 Téléchargements

Altmetric

Partager

More