Call-by-name, call-by-value and the -calculus. Theoretical Computer Science, 1(1):125{159 (1976)

by G Plotkin
Venue:Yale University