91Ƶ

l.budaghyan@ysu.am

Լուսինե Էդգարի Բուդաղյան

Ինֆորմատիկայի և կիրառական մաթեմատիկայի ֆակուլտետ
Ծրագրավորման և ինֆորմացիոն տեխնոլոգիաների ամբիոն
Ասիստենտ

Անձնական տվյալներ

Ծննդյան տարեթիվ
1973

Հրապարակումներ

Հոդված
A NECESSARY AND SUFFICIENT CONDITION FOR THE UNIQUENESS OF βδ-NORMAL FORM OF TYPED λ-TERMS FOR THE CANONICAL NOTION OF δ-REDUCTION
L. E. Budaghyan
D. A. Grigoryan
L. H. Torosyan
2019
28–36
Հոդված
Об алгоритмах интерпретации строго типизированных функциональных программ.
Нигиян С.А.
Акопян Р.Ю.
Будагян Л.Э.
Сборник научных статей. Годичная научная конференция (3 – 7 декабря 2007 г.). Физико-математические и естественные науки.
2008
172-179
ՈՒսումնական ձեռնարկ
Ծրագրավորման ֆունկցիոնալ համակարգեր
Նիգիյան Ս․Ա․
Բուդաղյան Լ․Է․
2006
60
Հոդված
A Necessary and sufficient condition of completeness of computation rule for strong typed functional programs.
L. Budaghyan
2005
16-19
Հոդված
О формализации понятия δ-редукции в монотонных моделях типового λ-исчисления.
Л.Э Будагян
2003
27-36
Հոդված
On δ-Reduction in monotonic models of typed λ-calculus.
Budaghyan L. E
2003
65-67
Հոդված
Formalizing the notion of δ-reduction in monotonic models of typed λ-calculus.
L.E. Budaghyan
Algebra, Geometry & Their Applications
2002
48-57
Հոդված
Правила вычисления главной функции наименьшего решения для одного класса систем рекурсивных уравнений.
С.А. Нигиян
Л.Э Будагян
1999
197-203
Հասցե` ՀՀ, ք. Երևան, 0025, Ալեք Մանուկյան 1 (+37460) 710000 info@ysu.am