Nigiyan, S., & Khondkaryan, T. (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), 46–52. https://doi.org/10.46991/PYSU:A/2017.51.1.046