A formulation of the simple theory of types (1940)

by A Church
Venue:The Journal of Symbolic Logic