A Relation Algebra for Term Rewriting: A differential approach to sequential reduction (Revised Version)

Lorenzo Pace

Recently, Gavazzo has developed a relational theory of symbolic manipulation, that allows to study syntax-based rewriting systems without relying on specific notions of syntax. Thi…