A General Type for Storage Operators - Archive ouverte HAL
Article Dans Une Revue Mathematical Logic Quarterly Année : 1995

A General Type for Storage Operators

Karim Nour

Résumé

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

Dates et versions

hal-00381039 , version 1 (05-05-2009)

Identifiants

Citer

Karim Nour. A General Type for Storage Operators. Mathematical Logic Quarterly, 1995, 41, pp.505-514. ⟨hal-00381039⟩
94 Consultations
114 Téléchargements

Altmetric

Partager

More