La Valeur d'un Entier Classique en $λμ$-Calcul
| dc.creator | Nour, Karim | |
| dc.date | 2009-05-05 | |
| dc.date.accessioned | 2026-07-07T13:11:51Z | |
| dc.date.available | 2026-07-07T13:11:51Z | |
| dc.description | 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. | |
| dc.identifier | https://arxiv.org/abs/0905.0552 | |
| dc.identifier | http://arxiv.org/abs/0905.0552 | |
| dc.identifier | Archive for Mathematical Logic 36 (1997) 461-473 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/229413 | |
| dc.subject | Logic | |
| dc.title | La Valeur d'un Entier Classique en $λμ$-Calcul | |
| dc.type | text |