A rewriting calculus for cyclic higher-order term graphs

DOI10.1017/S0960129507006093zbMath1125.68062MaRDI QIDQ5308094

Claude Kirchner, Paolo Baldan, Clara Bertolissi, Horatiu Cirstea

Publication date: 26 September 2007

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

\(\rho_{\mathrm g}\)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42)

Related Items

Sharing in the Graph Rewriting Calculus, Nominal Unification and Matching of Higher Order Expressions with Recursive Let, Twenty years of rewriting logic, Towards a Sharing Strategy for the Graph Rewriting Calculus