Arakelyan, A. H. ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1. Proc. YSU A: Phys. Math. Sci. 2009, 43 (3 (220), 42-51. https://doi.org/10.46991/PYSUA.2009.43.3.042.