%0 Journal Article
%A S. A. Nigiyan
%A T. V. Khondkaryan
%T On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2017
%P 46-52
%V 51
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2017_51_1_a8/
%G en
%F UZERU_2017_51_1_a8