Arakelyan, A. H. ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1. Proc. YSU A: Phys. Math. Sci. 2009, 43, 42-51.