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