TY  - JOUR
AU  - S. A. Nigiyan
TI  - On interpretation of typed and untyped functional programs
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2018
SP  - 119
EP  - 133
VL  - 52
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2018_52_2_a6/
LA  - en
ID  - UZERU_2018_52_2_a6
ER  -