%0 Journal Article
%A L. Budaghyan
%T On formalization of notion of $\delta$-reduction in monotonic models of typed $\lambda$-calculus
%J Proceedings of the Yerevan State University. Physical and mathematical sciences
%D 2003
%P 27-36
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZERU_2003_1_a3/
%G ru
%F UZERU_2003_1_a3