An algebraic presentation of term graphs via ps-monoidal categories (1997)

by A Corradini, F Gadducci