La Valeur d’un Entier Classique en λμ-Calcul
作者： Karim Nour , La Valeur
DOI:
关键词:
摘要: In this paper, we present three methods to give the value of a classical integer in λμ-calculus. The first method is an external and gives false part normal integer. second uses new reduction rule as result corresponding Church third M. Parigot’s which J.L. Krivine’s storage operators. Mathematics Subject Classification: 03B40, 68Q60.
archives-ouvertes.fr 参考文章(4)
Karim Nour, Operateurs de mise en memoire en lambda-calcul pur et type Université Savoie Mont Blanc. ,(1993)
Michel Parigot, Classical Proofs as Programs KGC '93 Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory. pp. 263- 276 ,(1993) , 10.1007/BFB0022575
Jean-Louis Krivine, Lambda-calcul : types et modèles Masson. ,(1990)
M. Parigot, Strong normalization for second order classical natural deduction logic in computer science. pp. 39- 46 ,(1993) , 10.1109/LICS.1993.287602