Interaction Combinators

Lafont, Y. (1997). Interaction Combinators. Information and Computation, 69-101.

Type

Journal article

Intellectual base

Primary research

Year

1997

DOI

10.1006/inco.1997.2643

Link

https://doi.org/10.1006/inco.1997.2643

Cited by

1 citation across 1 artifact.

Domain-specific

• Interaction Nets
  • Typed interaction-net systems are important variants; untyped systems, including universal interaction combinators, remain genuine interaction nets.

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