Abstract | ||
---|---|---|
We prove that fully-extended, orthogonal infinitary combinatory reduction systems with finite right-hand sides are confluent modulo identification of hypercollapsing subterms. This provides the first general confluence result for infinitary higher-order rewriting. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11591191_15 | LPAR |
Keywords | DocType | Volume |
hypercollapsing subterms,confluent modulo identification,finite right-hand side,infinitary combinatory reduction system,orthogonal infinitary combinatory reduction,general confluence result,infinitary higher-order,higher order | Conference | 3835 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-30553-X | 6 |
PageRank | References | Authors |
0.51 | 16 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jeroen Ketema | 1 | 160 | 13.52 |
Jakob Grue Simonsen | 2 | 317 | 44.16 |