Church's thesis and a unification of types (1986)

by D S Scott
Venue:Lecture at the Conference on Church's Thesis: fifty years later