Paper Info
Title
Value Of A Classical Integer In Lambda Mu-Calculus
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.
Year
DOI
Venue
1997
10.1007/s001530050076
ARCHIVE FOR MATHEMATICAL LOGIC
Keywords
DocType
Volume
storage operators.,church integer,classical integer,λ� -calculus
Journal
36
Issue
ISSN
Citations 
6
0933-5846
0
PageRank 
References 
Authors
0.34
1
1
Name
Order
Citations
PageRank
Karim Nour16515.07