NIGIYAN, S.; KHONDKARYAN, T. 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, v. 51, n. 1 (242), p. 46–52, 20 Mar.2017.