Ցույց տուր կառուցվածքը

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

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

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

2007

Հատոր:

29

ISSN:

0131-4645

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

սեղմիր այստեղ կապին հետևելու համար

Վերնագիր:

Analysis of bounds for lengths of reductions in typed λ-calculus

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

Ռեդուկցիոն հաջորդականությունների երկարության սահմանների վերլուծությունը տիպականացված λ-հաշվում

Ստեղծողը:

Tigran M. Galoyan

Խորագիր:

Mathematics

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

Գալոյան Տ. Մ.

Ծածկույթ:

5-15

Ամփոփում:

We analyze bounds for the lengths of arbitrary reduction sequences of terms in typed λ-calculus, consider some estimates obtained by the other authors and compare these estimates. The cut elimination and normalization algorithms are also investigated in this paper. Thereafter we refine the estimates achieved in [3] (for pure implicational logic only) by supplement of η-conversion and then we extend evaluations to first-order logic.

Հրատարակիչ:

Изд-во НАН РА

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

2007-03-10

Տեսակ:

Հոդված

Ձևաչափ:

pdf

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

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան