Grigoryan, D.A. “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, no. 1 (248) (April 15, 2019): 37–46. Accessed November 23, 2024. https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol53_no1_2019_pp037-046.