About "Interpretation of Linear Logic" and Interaction Nets

[xieyuheng]

Thanks for the "Interpretation of Linear Logic".

It is the most clear interpretation of linear logic that I can find.

"resources" is not enough to interpret linear logic,
"transaction of resources" is enough :)

Do you also know Yves Lafont's interaction nets?
It is a graph-based computation model which uses linear logic as it's type system:

• https://github.com/cicada-lang/inet-forth/blob/master/docs/references/1990-interaction-nets.pdf
• https://github.com/cicada-lang/inet-forth/blob/master/docs/references/1997-interaction-combinators.pdf