28 citations · 56 across the 20 of their papers we have counts for
1 paper · 1 filter
Bertram Felgenhauer, Martin Avanzini, Christian Sternagel
We present a Haskell library for first-order term rewriting covering basic operations on positions, terms, contexts, substitutions and rewrite rules. This effort is motivated by th…