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 37, no. 1 (200) (March 10, 2003): 27–36. Accessed January 22, 2026. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol37_no1_2003_pp027-036.