Arakelyan A. UNSOLVABILITY OF TYPE CORRECTNESS PROBLEM FOR FUNCTIONAL PROGRAMS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2011 Feb. 16 [cited 2024 Sep. 20];45(1 (224):28-35. Available from: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no1_2011_pp028-035