An algebraic presentation of term graphs, via gs-monoidal categories (1999)

by A Corradini, F Gadducci
Venue:Applied Categorical Structures