Khondkaryan T. ON TYPED AND UNTYPED LAMBDA-TERMS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2015 Jun. 12 [cited 2024 May 20];49(2 (237):45-52. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol49_no2_2015_pp045-052