A 2-categorical presentation of term graph rewriting (1997)

by A Corradini, F Gadducci
Venue:In 7th International Conference on Category Theory and Computer Science (CTCS