Abstract | ||
---|---|---|
For fully-extended, orthogonal infinitary Combinatory Reduction Systems, we prove that terms with perpetual reductions starting from them do not have (head) normal forms. Using this, we show that 1needed reduction strategies are normalising for fully-extended, orthogonal infinitary Combinatory Reduction Systems, and that1weak and strong normalisation coincide for such systems as a whole and, in case reductions are non-erasing, also for terms. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1007/978-3-540-70590-1_12 | RTA |
Keywords | Field | DocType |
perpetual reduction,infinitary combinatory reduction systems,strong normalisation,case reduction,reduction strategy,orthogonal infinitary,combinatory reduction systems,normal form | Discrete mathematics,Algorithm,Mathematics | Conference |
Volume | ISSN | Citations |
5117 | 0302-9743 | 6 |
PageRank | References | Authors |
0.53 | 12 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jeroen Ketema | 1 | 160 | 13.52 |