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