Monads and modular term rewriting (1997)

by Christoph Lüth , Neil Ghani
Venue:In Category Theory in Computer Science CTCS’97, number 1290 in LNCS
Citations:20 - 13 self