La Valeur d'un Entier Classique en $λμ$-Calcul

Details La Valeur d'un Entier Classique en $λμ$-Calcul La Valeur d'un Entier Classique en $λμ$-Calcul

2009-05-05

arxiv.org/abs/0905.0552v1

Archive for Mathematical Logic 36 (1997) 461-473

Mathematics

Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

La Valeur d'un Entier Classique en $λμ$-Calcul does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with La Valeur d'un Entier Classique en $λμ$-Calcul, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and La Valeur d'un Entier Classique en $λμ$-Calcul will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-450437