Arakelyan, A. H. “ON THE TYPE CORRECTNESS OF POLYMORPHIC $\lambda$-TERMS. 2”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 44, no. 1 (221), Jan. 2010, pp. 37-46, doi:10.46991/PYSU:A/2010.44.1.037.