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

by G D Plotkin
Venue:Comp. Sci