Scientific interests
- Functional Programming
- Lambda calculus
- Theory of Algorithms
- Database
- Data science
Education
Institution
Lomonosov Moscow State University
Faculty
The Faculty of Computational Mathematics and Cybernetics of Moscow State University
Date
-
Degree name
Applicant
Institution
Yerevan State Univesity
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
PhD student
Institution
Yerevan State Univesity
Faculty
Faculty of Informatics and Applied Mathematics
Date
-
Degree name
Qualified specialist
Scientific Rank/degree
Institution
Lomonosov Moscow State University
Date
2006
Degree name
Candidate
Specialty
Physico-mathematical sciences
Scientific Supervisor
Nigiyan Semyon Alexander
Research Topic
ON THE INTERPRETATION OF STRON TYPED FUNCTIONAL PROGRAMS
Language skills
Русский
English
Work experience
Institution
YSU
Period of time
Rank/degree
assistant
Institution
YSU
Period of time
-
Rank/degree
Lecturer
Participation in international conferences and seminars
-
Scientific session of the Union of Armenian Mathematicians and the Institute of Mathematics of the National Academy of Sciences of the Republic of Armenia dedicated to Artashes Shahinyan's 90th birthday
Union of Armenian Mathematicians and the Institute of Mathematics of the National Academy of Sciences of the Republic of Armenia
Armenia
Publications
Article
A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF βδ-NORMAL FORM OF TYPED λ-TERMS FOR THE CANONICAL NOTION OF δ-REDUCTION
Article
Об алгоритмах интерпретации строго типизированных функциональных программ.
Сборник научных статей. Годичная научная конференция (3 – 7 декабря 2007 г.). Физико-математические и естественные науки.
2008
172-179
Manual
Ծրագրավորման ֆունկցիոնալ համակարգեր
2006
60
Article
A Necessary and sufficient condition of completeness of computation rule for strong typed functional programs.
Article
О формализации понятия δ-редукции в монотонных моделях типового λ-исчисления.
Article
On δ-Reduction in monotonic models of typed λ-calculus.
Article
Formalizing the notion of δ-reduction in monotonic models of typed λ-calculus.
Algebra, Geometry & Their Applications
2002
48-57
Article
Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений.
Article
On execution of functional programs.
