Arakelyan AH. ON THE TYPE CORRECTNESS OF POLYMORPHIC $\lambda$-TERMS. 2. Proc. YSU A: Phys. Math. Sci. [Internet]. 2010 Jan. 26 [cited 2024 Nov. 23];44(1 (221):37-46. Available from: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol44_no1_2010_pp037-046