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, https://doi.org/10.46991/PYSUA.2010.44.1.037.