BUDAGHYAN, L.E.; GRIGORYAN, D.A.; TOROSYAN, L.H. A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF $ \beta\delta $-NORMAL FORM OF TYPED $ \lambda $-TERMS FOR THE CANONICAL NOTION OF $ \delta $-REDUCTION. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 53, n. 1 (248), p. 28–36, 2019. DOI: 10.46991/PYSU:A/2019.53.1.028. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol53_no1_2019_pp028-036. Acesso em: 19 may. 2024.