GHAZARYAN, G.A. ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 45, n. 1 (224), p. 36–43, 2011. DOI: 10.46991/PYSU:A/2011.45.1.036. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no1_2011_pp036-043. Acesso em: 22 jul. 2024.