Journal or Publication Title:

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

Date of publication:

2007

Volume:

29

ISSN:

0131-4645

Additional Information:

click here to follow the link

Other title:

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

Coverage:

5-15

Abstract:

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.

Publisher:

Изд-во НАН РА

Date created:

2007-03-10

Format:

pdf

Identifier:

oai:arar.sci.am:258530

Location of original object:

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