Grigoryan D. ON THE UNIQUENESS OF $ \beta\delta $-NORMAL FORM OF TYPED $ \lambda $-TERMS FOR THE CANONICAL NOTION OF $ \delta $-REDUCTION. Proc. YSU A: Phys. Math. Sci. [Internet]. 2019 Apr. 15 [cited 2024 Nov. 22];53(1 (248):37-46. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol53_no1_2019_pp037-046