Alonzo Church, A formulation of the simple theory of types, The Journal of Symbolic Logic 5(2):56–68 (1940) Huet, Gérard P. (1973).
Типизированное лямбда-исчисление Модальная логика Чёрч, Алонзо, A formulation of the simple theory of types, The Journal of Symbolic Logic 5(2):56–68 (1940) Huet, Gérard P. (1973).