%0 Journal Article
%A D. A. Grigoryan
%T On the uniqueness of $\beta\delta$-normal form of typed $\lambda$-terms for the canonical notion of $\delta$-reduction
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2019
%P 37-46
%V 53
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2019_53_1_a5/
%G en
%F UZERU_2019_53_1_a5