A general storage theorem for integers in call-by-name -calculus (1994)

by J-L Krivine
Venue:Theoretical Computer Science