ARAKELYAN, A. H. ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 43, n. 3 (220), p. 42–51, 4 Oct.2009.