A call-by-name lambda-calculus machine

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