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 November 23, 2024. https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol43_no3_2009_pp042-051.