A call-by-name lambda-calculus machine

by Jean-louis Krivine
Venue:Higher Order and Symbolic Computation
Citations:26 - 0 self