Lambda calculus: Some models, some philosophy (1980)

by Dana Scott
Venue:The Kleene Symposium