Questions tagged [interaction-nets]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
7 votes
1 answer
213 views

Is it possible to unambiguously read back λ terms from interaction nets without node types?

A class of lambda terms can be evaluated using Lamping's abstract algorithm - that is, converting them to interaction nets and applying a set of rules. In order to get the result, you have to read ...
  • 3,045
4 votes
1 answer
89 views

Is the set of Multiplicative Proof Nets a proper subset of set of well formed single-agent Interaction Nets?

There are various criteria for the correctness of multiplicative proof nets. In Correctness of Multiplicative Proof Nets is Linear, Stefano Guerrini nicely describes few of them with an efficient ...
  • 1,157