Nigiyan S, Khondkaryan T. ON CANONICAL NOTION OF $\delta$-REDUCTION AND ON TRANSLATION OF TYPED $\lambda$-TERMS INTO UNTYPED $\lambda$-TERMS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2017 Mar. 20 [cited 2024 Jul. 22];51(1 (242):46-52. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol51_no1_2017_pp046-052