Title | ||
---|---|---|
Adding Algebraic Rewriting to the Calculus of Constructions: Strong Normalization Preserved |
Abstract | ||
---|---|---|
In this paper strong normalization is proved for terms of systems obtained by combining strong normalizing algebraic term rewriting systems with the Calculus of Constructions. The proof of the main result exploits the observation that the proof of strong normalization for the Calculus of Constructions given by Geuvers and Nederhof partly applies to this calculus extended with algebraic rewriting. |
Year | DOI | Venue |
---|---|---|
1990 | 10.1007/3-540-54317-1_96 | CTRS |
Keywords | Field | DocType |
strong normalization preserved,calculus of constructions | Normalization (statistics),Algebraic number,Lambda cube,Calculus of constructions,Rewriting,Normalization property,Calculus,Mathematics | Conference |
Volume | ISSN | ISBN |
516 | 0302-9743 | 3-540-54317-1 |
Citations | PageRank | References |
10 | 0.70 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franco Barbanera | 1 | 357 | 35.14 |