call-by-value and the λ-calculus. Theoret (1975)

by G Call-by-name Plotkin
Venue:Comput. Sci