TY  - JOUR
AU  - S. A. Nigiyan
AU  - T. V. Khondkaryan
TI  - On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2017
SP  - 46
EP  - 52
VL  - 51
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2017_51_1_a8/
LA  - en
ID  - UZERU_2017_51_1_a8
ER  -