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