Interaction nets are a graphical model of computation devised by French mathematician Yves Lafont in 1989 as a generalisation of the proof structures of linear logic. An interaction net system is specified by a set of agent types and a set of interaction rules.
Interaction nets are a graphical model of computation devised by French mathematician Yves Lafont in 1989 as a generalisation of the proof structures of linear logic. An interaction net system is specified by a set of agent types and a set of interaction rules.
Source: Wikipedia "Interaction nets" · CC BY-SA 4.0
Share this article: X · Bluesky