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

by A. Corradini, F. Gadducci
Venue:CATEGORY THEORY AND COMPUTER SCIENCE, VOLUME 1290 OF LNCS