HAKOPIAN, R. Yu. ON PROCEDURAL SEMANTICS OF STRONG TYPED FUNCTIONAL PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 42, n. 3 (217), p. 59–69, 2023. DOI: 10.46991/PYSU:A/2008.42.3.059. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol42_no3_2008_p059-069. Acesso em: 22 jul. 2024.