NIGIYAN, S.A.; KHONDKARYAN, T.V. ON CANONICAL NOTION OF $\delta$-REDUCTION AND ON TRANSLATION OF TYPED $\lambda$-TERMS INTO UNTYPED $\lambda$-TERMS. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 51, n. 1 (242), p. 46–52, 2017. DOI: 10.46991/PYSU:A/2017.51.1.046. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol51_no1_2017_pp046-052. Acesso em: 3 jul. 2024.