ARAKELYAN, A. H. ON THE TYPE CORRECTNESS OF POLYMORPHIC $\lambda$-TERMS. 2. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 44, n. 1 (221), p. 37–46, 26 Jan.2010.