BUDAGHYAN, L. E. ON FORMALIZATION  OF  NOTION  OF  $\delta$-REDUCTION  IN MONOTONIC  MODELS  OF  TYPED  $\lambda$-CALCULUS. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 37, n. 1 (200), p. 27–36, 2003. DOI: 10.46991/PYSUA.2003.37.1.027. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol37_no1_2003_pp027-036. Acesso em: 22 jan. 2026.