A Formulation of the Simple Theory of Types.

Alonzo Church A Formulation of the Simple Theory of Types. 56-68 1940 5 J. Symb. Log. 2 db/journals/jsyml/jsyml5.html#Church40