%0 Journal Article
%A L. Budaghyan
%A D. A. Grigoryan
%A L. H. Torosyan
%T A necessary and  sufficient condition for the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2019
%P 28-36
%V 53
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2019_53_1_a4/
%G en
%F UZERU_2019_53_1_a4