Хондкарян Тигран Валериевич

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

1. On translation of typed functional programs into untyped functional programs
   
   Уч. записки ЕГУ, сер. Физика и Математика, 51:2 (2017),  177–186
2. On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms
   
   Уч. записки ЕГУ, сер. Физика и Математика, 51:1 (2017),  46–52
3. On typed and untyped lambda-terms
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2015, № 2,  45–52