Encoding Linear Logic with Interaction Combinators¶

Mackie, I., & Pinto, J. S. (2002). Encoding Linear Logic with Interaction Combinators. Information and Computation, 153-186.

Type: Journal article
Intellectual base: Primary research
Year: 2002
DOI: 10.1006/inco.2002.3163
Link: https://doi.org/10.1006/inco.2002.3163

Cited by¶

1 citation across 1 artifact.

Domain-specific¶

Interaction Nets
- But arbitrary interaction-net signatures and rules need not be proofs of a particular logic, and typing is optional.

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