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

by G D Plotkin
Venue:TCS