La valeur d'un entier classique en lambdamu-calcul |
| |
Authors: | Karim Nour |
| |
Affiliation: | (1) Laboratoire de mathématiques, équipe de logique, Université de Chambéry, F-73376 Le Bourget-du-Lac Cedex, France (e-mail: nour@univ-savoie.fr) , FR |
| |
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. Re?u le 4 Septembre 1995 |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|