Arakelyan, A. H. “ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 43, no. 3 (220), Oct. 2009, pp. 42-51, https://doi.org/10.46991/PYSUA.2009.43.3.042.