%0 Journal Article
%A A. H. Arakelyan
%T On the type correctness of polymorphic  $\lambda$-terms. 1
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2009
%P 42-51
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2009_3_a6/
%G en
%F UZERU_2009_3_a6