[1]
A. H. Arakelyan, β€œON THE TYPE CORRECTNESS OF POLYMORPHIC $\lambda$-TERMS. 2”, Proc. YSU A: Phys. Math. Sci., vol. 44, no. 1 (221), pp. 37–46, Jan. 2010.