A. Church, A formulation of the simple theory of types, Journal of Symbolic Logic 5 (1940) 56–68.
Church, Μια σύνθεση της απλής θεωρίας των τύπων, Journal of Symbolic Logic 5 (1940) 56–68.