Interaction Nets

Lafont, Y. (1990). Interaction Nets. Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '90), 95-108.

Type

Conference paper

Intellectual base

Primary research

Year

1990

DOI

10.1145/96709.96718

Link

https://doi.org/10.1145/96709.96718

Cited by

1 citation across 1 artifact.

Domain-specific

• Interaction Nets
  • A rule replaces that pair with another net while preserving all connections by which the pair met the surrounding graph.

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