GRIGORYAN, D.A. ON 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. 37–46, 2019. DOI: 10.46991/PYSU:A/2019.53.1.037. Disponível em: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol53_no1_2019_pp037-046. Acesso em: 23 nov. 2024.