XXIIVV — interaction nets

By Devine Lu Linvega

Liurau20I12 Interaction nets are a graph rewriting system. Interaction nets(INs) encode computations in a graph of nodes that is rewritten until it stabilizes, they can capture all computable functions with no external machinery or a garbage collector. A computational step can be defined as a constant time operation, and the model allows for parallelism in which many steps can take place at the same time. Interaction Nets, Yves Lafont's original paper. A Programming Language for Interaction Nets, Ian Mackie A Low-level language for interaction nets, Shinya Sato A zine about interaction…

saved by

• Rishi Kothari

related reading

• The Computer as a Communication Deviceinternetat50.com
• The Building Blocks of Interpretabilitydistill.pub
• INTELLIGENCEstacks.stanford.edu
• Neural networks and deep learningneuralnetworksanddeeplearning.com
• Lambda calculus - Wikipediaen.wikipedia.org
• Eric Parfitt's Projectsesopsis.github.io
• The Engineering behind Figma’s Vector Networksalexharri.com
• The worminator project postpreprintarxiv.org
• Paper Trailspapertrailshq.com
• Semantic Domain: The Geometry of Interaction, as an OCaml programsemantic-domain.blogspot.com
• [2308.06578] The time is ripe to reverse engineer an entire nervous system: simulating behavior from neural interactionsarxiv.org
• Understanding Convolutions on Graphsdistill.pub