Alonzo Church. A Formulation of the Simple Theory of Types. The Journal of Symbolic Logic, 5(2):56--68, 1940. https://doi.org/10.2307/2266170