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