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. 2017, 51, 46-52.