A formulation of the simple theory of types (1940)

by A Church
Venue:Symbolic Logic