Nigiyan, S.A., and T.V. Khondkaryan. 2017. “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 (1 (242). Yerevan, Armenia:46-52. https://doi.org/10.46991/PYSU:A/2017.51.1.046.