(1)
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 (1 (242), 46-52. https://doi.org/10.46991/PYSU:A/2017.51.1.046.