Lambda calculus: some models, some philosophy. The Kleene Symposium (1980)

by D S Scott