Нигиян Семен Александрович

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

1. $\lambda$-definability of built-in McCarthy functions as functions with indeterminate values of arguments
   
   Уч. записки ЕГУ, сер. Физика и Математика, 53:3 (2019),  191–202
2. On interpretation of typed and untyped functional programs
   
   Уч. записки ЕГУ, сер. Физика и Математика, 52:2 (2018),  119–133
3. On translation of typed functional programs into untyped functional programs
   
   Уч. записки ЕГУ, сер. Физика и Математика, 51:2 (2017),  177–186
4. On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms
   
   Уч. записки ЕГУ, сер. Физика и Математика, 51:1 (2017),  46–52
5. On $\lambda$-definability of arithmetical functions with indeterminate values of arguments
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2016, № 2,  39–47
6. On non-classical theory of computability
   
   Уч. записки ЕГУ, сер. Физика и Математика, 2015, № 1,  52–60