A formulation of the simple theory of types (1940)

by A Church
Venue:J. Symb. Log