TY  - JOUR
AU  - T. V. Khondkaryan
TI  - On typed and untyped lambda-terms
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2015
SP  - 45
EP  - 52
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2015_2_a7/
LA  - en
ID  - UZERU_2015_2_a7
ER  -