TY  - JOUR
AU  - A. H. Arakelyan
TI  - On the type correctness of polymorphic  $\lambda$-terms. 1
JO  - Proceedings of the Yerevan State University. Physical and mathematical sciences
PY  - 2009
SP  - 42
EP  - 51
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZERU_2009_3_a6/
LA  - en
ID  - UZERU_2009_3_a6
ER  -