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