Arakelyan, A.H. 2010. ON THE TYPE CORRECTNESS OF POLYMORPHIC $\lambda$-TERMS. 2. Proceedings of the YSU A: Physical and Mathematical Sciences. 44, 1 (221) (Jan. 2010), 37–46. DOI:https://doi.org/10.46991/PYSU:A/2010.44.1.037.