[1]
Grigoryan, D. 2019. ON THE UNIQUENESS OF $ \beta\delta $-NORMAL FORM OF TYPED $ \lambda $-TERMS FOR THE CANONICAL NOTION OF $ \delta $-REDUCTION. Proceedings of the YSU A: Physical and Mathematical Sciences. 53, 1 (248) (Apr. 2019), 37–46. DOI:https://doi.org/10.46991/PYSU:A/2019.53.1.037.