Nigiyan, S.A., and T.V. Khondkaryan. “ON CANONICAL NOTION OF $\delta$-REDUCTION AND ON TRANSLATION OF TYPED $\lambda$-TERMS INTO UNTYPED $\lambda$-TERMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 51, no. 1 (242) (March 20, 2017): 46–52. Accessed July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol51_no1_2017_pp046-052.