Interaction nets
= Interaction nets
{wiki=Interaction_nets}
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.