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

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

научный сотрудник

кандидат физико-математических наук (2011)

E-mail:

	Публикации в базе данных Math-Net.Ru	Цитирования
	2011
1.	A. H. Arakelyan, “Unsolvability of type correctness problem for functional programs”, Уч. записки ЕГУ, сер. Физика и Математика, 2011, № 1, 28–35
	2010
2.	A. H. Arakelyan, “On the type correctness of polymorphic $\lambda$-terms. 2”, Уч. записки ЕГУ, сер. Физика и Математика, 2010, № 1, 37–46
	2009
3.	A. H. Arakelyan, “On the type correctness of polymorphic $\lambda$-terms. 1”, Уч. записки ЕГУ, сер. Физика и Математика, 2009, № 3, 42–51	1

Организации

Обратная связь: