HAKOPIAN, R. Y. ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 42, n. 3 (217), p. 59–69, 6 Oct.2023.