|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2017 |
| 1. |
S. A. Nigiyan, T. V. Khondkaryan, “On translation of typed functional programs into untyped functional programs”, Уч. записки ЕГУ, сер. Физика и Математика, 51:2 (2017), 177–186  |
2
|
| 2. |
S. A. Nigiyan, T. V. Khondkaryan, “On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms”, Уч. записки ЕГУ, сер. Физика и Математика, 51:1 (2017), 46–52 |
6
|
|
2015 |
| 3. |
T. V. Khondkaryan, “On typed and untyped lambda-terms”, Уч. записки ЕГУ, сер. Физика и Математика, 2015, № 2, 45–52 |
1
|
|
