{"version":"1.0","type":"link","title":"Interaction nets - Newikis","description":"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 an inherently…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}