Abstract.
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.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Reçu le 4 Septembre 1995
Rights and permissions
About this article
Cite this article
Nour, K. La valeur d'un entier classique en \(\lambda\mu\)-calcul. Arch Math Logic 36, 461–473 (1997). https://doi.org/10.1007/s001530050076
Issue Date:
DOI: https://doi.org/10.1007/s001530050076