A Calculus for Interaction Nets

Fernández, M., & Mackie, I. (1999). A Calculus for Interaction Nets. Principles and Practice of Declarative Programming (PPDP 1999).

Type

Book chapter

Intellectual base

Review or monograph

Year

1999

DOI

10.1007/10704567_10

ISBN

9783540665403

Link

https://doi.org/10.1007/10704567_10

Cited by

1 citation across 1 artifact.

Domain-specific

• Interaction Nets
  • Their interface-preserving rules support compositional construction; their explicit resource agents expose copying and erasure; and their local steps map naturally to pointer-rewiring implementations.

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:21e407e132c2 · see in the full table