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