A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A general storage theorem for integers in call-by-name λ-calculus
1994
Theoretical Computer Science
Krivine, J.-L., A general storage theorem for integers in call-by-name /I-calculus, Theoretical Computer Science 129 (1994) 79994. The notion of storage operator introduced in J.-L. Krivine, 1991 Krivine, , 1990 appears to be an important tool in the study of data types in second-order i-calculus. These operators are I-terms which simulate call by value in the call-by-name strategy, and they can be used in order to modelize assignment instructions. The main result about storage operators is
doi:10.1016/0304-3975(94)90081-7
fatcat:ah3ikn7r6fapjmj4bsyz2qeqdu