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

Pages cited

170-187

DOI

10.1007/10704567_10

ISBN

9783540665403

DOI registrant

Springer Nature

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

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. The single citation of this work carries no recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:21e407e132c2 · see in the full table