Interaction nets and term rewriting systems (extended abstract)

DOI10.1007/3-540-61064-2_35OpenAlexW1899640703MaRDI QIDQ5878907

Maribel Fernández, Ian Mackie

Publication date: 23 February 2023

Published in: Trees in Algebra and Programming — CAAP '96 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61064-2_35

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42)

Related Items (2)

Interaction nets and term-rewriting systems ⋮ Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Termination of rewriting
• Combinatory reduction systems: Introduction and survey
• Completeness of combinations of constructor systems

This page was built for publication: Interaction nets and term rewriting systems (extended abstract)