Arakelyan, A. H. ON THE TYPE CORRECTNESS OF POLYMORPHIC $\lambda$-TERMS. 2. Proc. YSU A: Phys. Math. Sci. 2010, 44 (1 (221), 37-46. https://doi.org/10.46991/PYSUA.2010.44.1.037.