ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

Комбинаторы неподвижной точки и основная семантика бестиповых функциональных программ

Грачян, Г. Г. (2009) Комбинаторы неподвижной точки и основная семантика бестиповых функциональных программ. ՀՀ ԳԱԱ Զեկույցներ, 109 (1). pp. 7-14. ISSN 0321-1339

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
2840Kb

Item Type:Article
Additional Information:Անշարժ կետի կոմբինատորները և առանց տիպերի ֆունկցիոնալ ծրագրերի հիմնակ սեմանտիկան / Գ. Գ. Հրաչյան։ Fix-point combinators and the main semantics of type-free functional programs / G. G. Hrachyan.
Uncontrolled Keywords:Неподвижная точка, комбинатор неподвижной точки, семантика, лямбда-исчисление
Subjects:Q Science > QA Mathematics
ID Code:4555
Deposited By:NAS Reports
Deposited On:13 Dec 2012 13:52
Last Modified:13 Mar 2014 08:16

Repository Staff Only: item control page