ARAKELYAN, A. H. ON THE TYPE CORRECTNESS OF POLYMORPHIC λ-TERMS. 1. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 43, n. 3 (220), p. 42–51, 2009. DOI: 10.46991/PYSU:A/2009.43.3.042. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol43_no3_2009_pp042-051. Acesso em: 22 jul. 2024.