Object structure

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

95-101

Նկարագրված է առանց տիպերի λ-տերմերի ներկայացման եղանակը նշած բինար ծառերի միջոցով: Այս ծառերի տերևները նշած են փոփոխականներով, իսկ ներքին գագաթները աբստրակցիայի և ապլիկացիայի գործողությունների սիմվոլներով: Առաջարկված են ծառերի ձևափոխության ալգորիթմներ, որոնք համապատասխանում են միաքայլ β-ռեդուկցիային և տեղադրմանը:

Երևան

ՀՀ ԳԱԱ հրատ.

2004-06-15

Հոդված

Հրապարակման մանրամասներ:

Ամսագրի կամ հրապարակման վերնագիր:

Հրապարակման ամսաթիւ:

Հատոր:

Համար:

ISSN:

Պաշտոնական URL:

Լրացուցիչ տեղեկութիւն:

Վերնագիր:

Այլ վերնագիր:

Ստեղծողը:

Աջակից(ներ):

Խորագիր:

Չվերահսկուող բանալի բառեր:

Ծածկոյթ:

Ամփոփում:

Հրատարակութեան վայրը:

Հրատարակիչ:

Ստեղծման ամսաթիւը:

Տեսակ:

Ձեւաչափ:

Դասիչ:

Թուայնացում:

Բնօրինակին գտնուելու վայրը: