Advertisement

Archive for Mathematical Logic

, Volume 36, Issue 6, pp 461–473 | Cite as

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

  • Karim Nour

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Karim Nour
    • 1
  1. 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

Personalised recommendations