Arakelyan, A.H. 2011. “UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 45 (1 (224). Yerevan, Armenia:28-35. https://doi.org/10.46991/PYSU:A/2011.45.1.028.