%0 Journal Article
%A T. V. Khondkaryan
%T On typed and untyped lambda-terms
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2015
%P 45-52
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2015_2_a7/
%G en
%F UZERU_2015_2_a7