La valeur d'un entier classique en \lambda\mu-calcul |
| |
Authors: | Karim Nour |
| |
Institution: | (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 等数据库收录! |
|