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). Yerevan, Armenia:37-46. https://doi.org/10.46991/PYSU:A/2010.44.1.037.