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

Andrea Corradini, Fabio Gadducci. An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories. Applied Categorical Structures, 7(4):299-331, 1999. [doi]

Abstract

Abstract is missing.