Nigiyan, S.A. “ON INTERPRETATION OF TYPED AND UNTYPED FUNCTIONAL PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 52, no. 2 (246) (August 15, 2018): 119–133. Accessed May 20, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol52_no2_2018_pp119-133.