A 2-Categorical Presentation of Term Graph Rewriting (1997)

by A Corradini, F Gadducci
Venue:in Category Theory and Computer Science, CTCS'97, E. Moggi and G. Rosolini Eds., Springer Lecture Notes in Computer Science 1290