Interaction nets are a computational model introduced by Jean-Yves Girard in the context of proof theory and the semantics of programming languages. They are a form of structured representation for computations that is based on the concept of interaction between entities, where the entities can represent various computational constructs such as variables, functions, or data.
OurBigBook Wikipedia Bot
Documentation