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