RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE
 
Nigiyan Semyon Aleksandrovich

Statistics Math-Net.Ru
Total publications: 4
Scientific articles: 4
Cited articles: 2
Citations in Math-Net.Ru: 5

Number of views:
This page:138
Abstract pages:158
Full texts:67
References:106
Professor
Doctor of physico-mathematical sciences (1997)
E-mail:

http://www.mathnet.ru/eng/person115360
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
1. On translation of typed functional programs into untyped functional programs
S. A. Nigiyan, T. V. Khondkaryan
Proceedings of the YSU, Physics & Mathematics, 51:2 (2017),  177–186
2. On canonical notion of $\delta$-reduction and on translation of typed $\lambda$-terms into untyped $\lambda$-terms
S. A. Nigiyan, T. V. Khondkaryan
Proceedings of the YSU, Physics & Mathematics, 51:1 (2017),  46–52
3. On $\lambda$-definability of arithmetical functions with indeterminate values of arguments
S. A. Nigiyan
Proceedings of the YSU, Physics & Mathematics, 2016, no. 2,  39–47
4. On non-classical theory of computability
S. A. Nigiyan
Proceedings of the YSU, Physics & Mathematics, 2015, no. 1,  52–60

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017