Call-by-name, Call-by-value and the -calculus", Theor (1975)

by G D Plotkin
Venue:Comp. Sci