Hakopian RY. ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2023 Oct. 6 [cited 2024 Jul. 22];42(3 (217):59-6. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol42_no3_2008_p059-069