A call-by-name lambda calculus machine (2007)

by Jean-Louis Krivine
Venue:Higher Order and Symbolic Computation