La Valeur d'un Entier Classique en $\lambda\mu$-Calcul
Logic
2009-05-06 v1
Abstract
In this paper, we present three methods to give the value of a classical integer in -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.
Cite
@article{arxiv.0905.0552,
title = {La Valeur d'un Entier Classique en $\lambda\mu$-Calcul},
author = {Karim Nour},
journal= {arXiv preprint arXiv:0905.0552},
year = {2009}
}