|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
1. |
S. A. Nigiyan, “$\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments”, Proceedings of the YSU, Physical and Mathematical Sciences, 53:3 (2019), 191–202 |
|
2018 |
2. |
S. A. Nigiyan, “On interpretation of typed and untyped functional programs”, Proceedings of the YSU, Physical and Mathematical Sciences, 52:2 (2018), 119–133 |
|
2017 |
3. |
S. A. Nigiyan, T. V. Khondkaryan, “On translation of typed functional programs into untyped functional programs”, Proceedings of the YSU, Physical and Mathematical Sciences, 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”, Proceedings of the YSU, Physical and Mathematical Sciences, 51:1 (2017), 46–52 |
5
|
|
2016 |
5. |
S. A. Nigiyan, “On $\lambda$-definability of arithmetical functions with indeterminate values of arguments”, Proceedings of the YSU, Physical and Mathematical Sciences, 2016, no. 2, 39–47 |
|
2015 |
6. |
S. A. Nigiyan, “On non-classical theory of computability”, Proceedings of the YSU, Physical and Mathematical Sciences, 2015, no. 1, 52–60 |
9
|
|
Organisations |
|
|
|
|