%0 Journal Article 
%F church40
%A Church, Alonzo
%T A Formulation of the Simple Theory of Types
%J J. Symb. Log
%V 5
%N 2
%P 56-68
%D 1940
%K typetheory