Arakelyan AH. ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1. Proc. YSU A: Phys. Math. Sci. [Internet]. 2009 Oct. 4 [cited 2024 Jul. 22];43(3 (220):42-51. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol43_no3_2009_pp042-051