|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2019 |
| 1. |
S. A. Nigiyan, “$\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments”, Уч. записки ЕГУ, сер. Физика и Математика, 53:3 (2019), 191–202  |
|
2018 |
| 2. |
S. A. Nigiyan, “On interpretation of typed and untyped functional programs”, Уч. записки ЕГУ, сер. Физика и Математика, 52:2 (2018), 119–133 |
|
2017 |
| 3. |
S. A. Nigiyan, T. V. Khondkaryan, “On translation of typed functional programs into untyped functional programs”, Уч. записки ЕГУ, сер. Физика и Математика, 51:2 (2017), 177–186 |
1
|
| 4. |
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 |
5
|
|
2016 |
| 5. |
S. A. Nigiyan, “On $\lambda$-definability of arithmetical functions with indeterminate values of arguments”, Уч. записки ЕГУ, сер. Физика и Математика, 2016, № 2, 39–47 |
|
2015 |
| 6. |
S. A. Nigiyan, “On non-classical theory of computability”, Уч. записки ЕГУ, сер. Физика и Математика, 2015, № 1, 52–60 |
9
|
|
Обратная связь: