Interaction nets and term-rewriting systems
From MaRDI portal
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
- scientific article; zbMATH DE number 4074466 (Why is no real title available?)
- scientific article; zbMATH DE number 3730111 (Why is no real title available?)
- scientific article; zbMATH DE number 1354152 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 786495 (Why is no real title available?)
- scientific article; zbMATH DE number 860037 (Why is no real title available?)
- scientific article; zbMATH DE number 1418475 (Why is no real title available?)
- Completeness of combinations of constructor systems
- Counterexamples to termination for the direct sum of term rewriting systems
- Implementation of sub-structuring within an object-oriented framework
- Interaction nets and term rewriting systems (extended abstract)
- Linear logic
- Modularity in noncopying term rewriting
- On termination of the direct sum of term-rewriting systems
- Termination for direct sums of left-linear complete term rewriting systems
- Termination of rewriting
- Transfinite reductions in orthogonal term rewriting systems
Cited in
(13)- On context semantics and interaction nets
- scientific article; zbMATH DE number 3986651 (Why is no real title available?)
- scientific article; zbMATH DE number 1487844 (Why is no real title available?)
- Interaction nets for linear logic
- An explicit framework for interaction nets
- An Explicit Framework for Interaction Nets
- scientific article; zbMATH DE number 860037 (Why is no real title available?)
- From functional programs to interaction nets via the rewriting calculus
- Recursive Functions with Pattern Matching in Interaction Nets
- Interaction systems II: The practice of optimal reductions
- scientific article; zbMATH DE number 4128408 (Why is no real title available?)
- A calculus for interaction nets based on the linear chemical abstract machine
- Interaction nets and term rewriting systems (extended abstract)
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)
