Residuals in Higher-Order Rewriting
Reference
H.J. Sander Bruggink. Residuals in higher-order rewriting. Technical Report 221, Utrecht University, 2003.
Abstract
Residuals have been studied for various forms of rewriting and residual systems have been defined to capture residuals in an abstract setting. In this paper we study residuals in orthogonal Pattern Rewriting Systems, a form of higher-order rewriting.
Suggested BibTeX entry:
@techreport{bruggink:residuals2003:report,
author = {H.J. Sander Bruggink},
institution = {Utrecht University},
number = {221},
series = {Logic Group Preprint Series},
title = {Residuals in Higher-Order Rewriting},
year = {2003}
}
