A λ−Calculus Approach (1966)

by P J Landin
Venue:In Andvances in Programming and Non-numerical Computation