Ordered and Combinatorial Structures for Higher-Dimensional Rewriting
Lars Hellström · 2016
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 ...