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