23 citations · 74 across the 18 of their papers we have counts for
1 paper · 2 filters
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…