Loading...
Please wait, while we are loading the content...
Similar Documents
Vicious circles in rewriting systems
| Content Provider | Semantic Scholar |
|---|---|
| Author | Ketema, Jeroen Klop, Jan Willem Oostrom, Vincent. Van |
| Copyright Year | 2004 |
| Abstract | textabstractWe continue our study of the difference between Weak Normalisation (WN) and Strong Normalisation (SN). We extend our earlier result that orthogonal TRSs with the property WN do not admit cyclic reductions, into three distinct directions: (i) to the higher-order case, where terms may contain bound variables, (ii) to the weakly orthogonal case, where rules may have (trivial) conflicts, and (iii) to weak head normalisation (WHN), where terms have head normal forms. By adapting the techniques introduced for each of the three extensions separately, we even are able to show the result generalises to each pair of combinations and to various lambda-calculi. The combination of all three extensions remains open however |
| Starting Page | 5 |
| Ending Page | 59 |
| Page Count | 55 |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.phil.uu.nl/preprints/ckipreprints/PREPRINTS/preprint052.pdf |
| Alternate Webpage(s) | http://ftp.cwi.nl/CWIreports/SEN/SEN-E0427.pdf |
| Alternate Webpage(s) | https://www.prove-and-die.org/publ/vcirs_wrs.pdf |
| Alternate Webpage(s) | http://www.phil.uu.nl/~oostrom/publication/pdf/vcirs_wrs.pdf |
| Alternate Webpage(s) | http://www.cwi.nl/ftp/CWIreports/SEN/SEN-E0427.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
