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

by D S Scott