Monads and Modular Term Rewriting (1997)

by Christoph Lüth , Neil Ghani
Citations:20 - 13 self

Document Versions

Monads and Modular Term Rewriting –Christoph Lüth, Neil Ghani — 1997
Monads and modular term rewriting –Christoph Lüth, Neil Ghani — 1997 — In Category Theory in Computer Science CTCS’97, number 1290 in LNCS