Faithful (meta-)encodings of programmable strategies into term rewriting systems

Horatiu Cirstea, Serguei Lenglet, Pierre-Etienne Moreau

Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transfor…