TY  - JOUR
AU  - A. H. Arakelyan
TI  - Unsolvability of type correctness problem for functional programs
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2011
SP  - 28
EP  - 35
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2011_1_a5/
LA  - en
ID  - UZERU_2011_1_a5
ER  -