Аракелян Ара Гайкович

Публикации в базе данных Math-Net.Ru

1. Unsolvability of type correctness problem for functional programs
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2011, № 1,  28–35
2. On the type correctness of polymorphic $\lambda$-terms. 2
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2010, № 1,  37–46
3. On the type correctness of polymorphic $\lambda$-terms. 1
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2009, № 3,  42–51