Arakelyan, A. H. ON THE TYPE CORRECTNESS OF POLYMORPHIC $\lambda$-TERMS. 2. Proc. YSU A: Phys. Math. Sci. 2010, 44, 37-46.