Ghazaryan G. ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2011 Feb. 16 [cited 2024 Jul. 22];45(1 (224):36-43. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no1_2011_pp036-043