Budaghyan LE. ON FORMALIZATION  OF  NOTION  OF  $\delta$-REDUCTION  IN MONOTONIC  MODELS  OF  TYPED  $\lambda$-CALCULUS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2003 Mar. 10 [cited 2026 Jan. 22];37(1 (200):27-36. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol37_no1_2003_pp027-036