A rewriting calculus for cyclic higher-order term graphs

Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. Mathematical Structures in Computer Science, 17(3):363-406, 2007. [doi]

Abstract

Abstract is missing.