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), pp. 37–46. doi:10.46991/PYSUA.2010.44.1.037.