TY  - JOUR
AU  - L. Budaghyan
TI  - On formalization of notion of $\delta$-reduction in monotonic models of typed $\lambda$-calculus
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2003
SP  - 27
EP  - 36
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2003_1_a3/
LA  - ru
ID  - UZERU_2003_1_a3
ER  -