Hakopian, R. Y. ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2023, 42, 59-69.