Interaction Nets and Term-Rewriting Systems

Fernández, M., & Mackie, I. (1998). Interaction Nets and Term-Rewriting Systems. Theoretical Computer Science, 3975(97), 3-39.

Type

Journal article

Intellectual base

Primary research

Year

1998

DOI

10.1016/s0304-3975(97)00082-0

Link

https://doi.org/10.1016/S0304-3975(97)00082-0

Cited by

1 citation across 1 artifact.

Domain-specific

• Interaction Nets
  • When a normal form is reachable, it is unique up to graph isomorphism and the chosen naming convention.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:18048cb88a43 · see in the full table