Arakelyan, A. H. “ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1”. Proceedings of the YSU A: Physical and Mathematical Sciences 43, no. 3 (220) (October 4, 2009): 42–51. Accessed July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol43_no3_2009_pp042-051.