Arakelyan, A. H. (2009) “ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1”, Proceedings of the YSU A: Physical and Mathematical Sciences. Yerevan, Armenia, 43(3 (220), pp. 42–51. doi: 10.46991/PYSU:A/2009.43.3.042.