Higher-order (non-)modularity

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Documents

We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the higher-order rewriting format. We show that for the particular format of simply typed applicative term rewriting systems modularity of confluence, normalization, and termination can be recovered by imposing suitable linearity constraints.
Original languageEnglish
Title of host publicationProceedings of the 21st International Conference on Rewriting Techniques and Applications
EditorsChristopher Lynch
Number of pages16
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Publication date2010
Pages17-32
ISBN (Electronic)978-3-939897-18-7
DOIs
Publication statusPublished - 2010
Event21st International Conference on Rewriting Techniques and Applications - Edinburgh, United Kingdom
Duration: 11 Jul 201013 Jul 2010

Conference

Conference21st International Conference on Rewriting Techniques and Applications
LandUnited Kingdom
ByEdinburgh
Periode11/07/201013/07/2010
SeriesLeibniz International Proceedings in Informatics
Volume6
ISSN1868-8969

Number of downloads are based on statistics from Google Scholar and www.ku.dk


No data available

ID: 32193311