A. H. Arakelyan, “ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1”, Proc. YSU A: Phys. Math. Sci., vol. 43, no. 3 (220), pp. 42–51, Oct. 2009.