1980] "Lambda-calculus, some models, some philosophy" The Kleene Symposium (Barwise et (0)

by D Scott