A Formulation of the Simple Theory of Types (1940)

by A Church
Venue:Journal of Symbolic Logic