Arakelyan, A. H. “ON THE TYPE CORRECTNESS OF POLYMORPHIC $\lambda$-TERMS. 2”. Proceedings of the YSU A: Physical and Mathematical Sciences 44, no. 1 (221) (January 26, 2010): 37–46. Accessed July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol44_no1_2010_pp037-046.