Arakelyan Ara Hayk

Publications in Math-Net.Ru

1. Unsolvability of type correctness problem for functional programs
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2011, no. 1,  28–35
2. On the type correctness of polymorphic $\lambda$-terms. 2
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2010, no. 1,  37–46
3. On the type correctness of polymorphic $\lambda$-terms. 1
   
   Proceedings of the YSU, Physical and Mathematical Sciences, 2009, no. 3,  42–51