Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

La valeur d'un entier classique en $\lambda\mu$ -calcul

La valeur d'un entier classique en $\lambda\mu$ -calcul In this paper, we present three methods to give the value of a classical integer in $\lambda\mu$ -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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

La valeur d'un entier classique en $\lambda\mu$ -calcul

Archive for Mathematical Logic , Volume 36 (6) – Oct 1, 1997

Loading next page...
 
/lp/springer-journals/la-valeur-d-un-entier-classique-en-lambda-mu-calcul-P8Uv0pCtoi

References (14)

Publisher
Springer Journals
Copyright
Copyright © 1997 by Springer-Verlag Berlin Heidelberg
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/s001530050076
Publisher site
See Article on Publisher Site

Abstract

In this paper, we present three methods to give the value of a classical integer in $\lambda\mu$ -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.

Journal

Archive for Mathematical LogicSpringer Journals

Published: Oct 1, 1997

There are no references for this article.