The simple theory of types (1977)

by R O Gandy
Venue:Logic Colloquium 76