Grigoryan, D.A. “ON INCOMPARABILITY OF INTERPRETATION ALGORITHMS OF TYPED FUNCTIONAL PROGRAMS WITH RESPECT TO UNDEFINED VALUE”. Proceedings of the YSU A: Physical and Mathematical Sciences 52, no. 2 (246) (August 15, 2018): 109–118. Accessed May 20, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol52_no2_2018_pp109-118.