Hakopian, R. Y. (2023). ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, 42(3 (217), 59–69. https://doi.org/10.46991/PYSU:A/2008.42.3.059