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

by G Plotkin
Venue:Theoretical Computer Science