La Valeur d'un Entier Classique en $\lambda\mu$-Calcul - Archive ouverte HAL
Article Dans Une Revue Archive for Mathematical Logic Année : 1997

La Valeur d'un Entier Classique en $\lambda\mu$-Calcul

Karim Nour

Résumé

In this paper, we present three methods to give the value of a classical integer in $\lambda\mu$-calculus. The first method is an external method and gives the value and the false part of a normal classical integer. The second method uses a new reduction rule and gives as result the corresponding Church integer. The third method is the M. Parigot's method which uses the J.L. Krivine's storage operators.
Fichier principal
Vignette du fichier
entier-lm.pdf (137.88 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

Karim Nour. La Valeur d'un Entier Classique en $\lambda\mu$-Calcul. Archive for Mathematical Logic, 1997, 36, pp.461-473. ⟨hal-00381047⟩
95 Consultations
137 Téléchargements

Altmetric

Partager

More