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 article we study residuals in orthogonal Pattern
Rewriting Systems (PRSs). First, the rewrite relation is defined
by means of a higher-order rewriting logic, and proof terms are defined
that witness reductions.
... read more