Ghazaryan, G. (2011). ON TRANSFORMATIONS OF UNTYPED FUNCTIONAL PROGRAMS AND THEIR PROCEDURAL SEMANTICS. Proceedings of the YSU A: Physical and Mathematical Sciences, 45(1 (224), 36–43. https://doi.org/10.46991/PYSU:A/2011.45.1.036