An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories (1999)

by Andrea Corradini, Fabio Gadducci
Venue:Applied Categorical Structures