What is a model of the lambda calculus (1981)

by Albert Meyer
Venue:Information and Control