The value of a classical integer in \(\lambda \mu\)-calculus (Q678254)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The value of a classical integer in \(\lambda \mu\)-calculus |
scientific article |
Statements
The value of a classical integer in \(\lambda \mu\)-calculus (English)
0 references
23 June 1997
0 references
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 M. Parigot's method which uses J. L. Krivine's storage operators.
0 references
classical integer
0 references
\(\lambda\mu\)-calculus
0 references
Church integer
0 references
Parigot's method
0 references
Krivine's storage operators
0 references