Interaction nets and term-rewriting systems
From MaRDI portal
Publication:1389438
DOI10.1016/S0304-3975(97)00082-0zbMATH Open0893.68088OpenAlexW1973731760MaRDI QIDQ1389438FDOQ1389438
Authors: Maribel Fernández, Ian Mackie 
Publication date: 30 June 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0304-3975(97)00082-0
Recommendations
- Interaction nets and term rewriting systems (extended abstract)
- scientific article; zbMATH DE number 860037
- From functional programs to interaction nets via the rewriting calculus
- Publication:4207592
- Interaction nets for linear logic
- scientific article; zbMATH DE number 786495
- Type assignment and termination of interaction nets
- An Explicit Framework for Interaction Nets
- An explicit framework for interaction nets
- Towards a programming language for interaction nets
Cites Work
- Title not available (Why is that?)
- Linear logic
- Termination of rewriting
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Counterexamples to termination for the direct sum of term rewriting systems
- Transfinite reductions in orthogonal term rewriting systems
- Termination for direct sums of left-linear complete term rewriting systems
- On termination of the direct sum of term-rewriting systems
- Completeness of combinations of constructor systems
- Title not available (Why is that?)
- Modularity in noncopying term rewriting
- Title not available (Why is that?)
- Implementation of sub-structuring within an object-oriented framework
- Title not available (Why is that?)
- Interaction nets and term rewriting systems (extended abstract)
Cited In (13)
- Interaction nets for linear logic
- An explicit framework for interaction nets
- An Explicit Framework for Interaction Nets
- Title not available (Why is that?)
- Recursive Functions with Pattern Matching in Interaction Nets
- From functional programs to interaction nets via the rewriting calculus
- Interaction systems II: The practice of optimal reductions
- Title not available (Why is that?)
- A calculus for interaction nets based on the linear chemical abstract machine
- Interaction nets and term rewriting systems (extended abstract)
- On context semantics and interaction nets
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Interaction nets and term-rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1389438)
