首页 | 本学科首页   官方微博 | 高级检索  
     检索      


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号