[1]
Nigiyan, S. and 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) (Mar. 2017), 46–52. DOI:https://doi.org/10.46991/PYSU:A/2017.51.1.046.