%0 Journal Article
%A A. H. Arakelyan
%T Unsolvability of type correctness problem for functional programs
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2011
%P 28-35
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2011_1_a5/
%G en
%F UZERU_2011_1_a5