La Valeur d'un Entier Classique en $\lambda\mu$-Calcul
Nour, Karim
HAL, hal-00381047 / Harvested from HAL
Text on HAL
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.
Publié le : 1997-07-05
Classification:  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-00381047,
     author = {Nour, Karim},
     title = {La Valeur d'un Entier Classique en $\lambda\mu$-Calcul},
     journal = {HAL},
     volume = {1997},
     number = {0},
     year = {1997},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/hal-00381047}
}

Nour, Karim. La Valeur d'un Entier Classique en $\lambda\mu$-Calcul. HAL, Tome 1997 (1997) no. 0, . http://gdmltest.u-ga.fr/item/hal-00381047/