Hakopian, R. Y. ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2023, 42 (3 (217), 59-69. https://doi.org/10.46991/PYSUA.2008.42.3.059.