Abstract
We introduce the unifying notion of delimiting diagram. Hitherto unrelated results such as:
Minimality of the internal needed strategy for orthogonal first-order term rewriting systems,
maximality of the limit strategy for orthogonal higher-order pattern rewrite systems (with
maximality of the strategy Foo for the λ-calculus as a special case), and uniform normalisation
of balanced
... read more