Ordered and Combinatorial Structures for Higher-Dimensional Rewriting

In principle, rewriting is the logically pure activity of transforming abstract expressions according to fully formalised rules, but in practice there is a significant interplay between abstract ru ...