Interaction nets are a graphical model of computation devised by Yves Lafont in 1990[1] 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 distributed model of computation in the sense that computations can take place simultaneously in many parts of an interaction net, and no synchronisation is needed. The latter is guaranteed by the strong confluence property of reduction in this model of computation. Thus interaction nets provide a natural language for massive parallelism. Interaction nets are at the heart of many implementations of the lambda calculus, such as efficient closed reduction[2] and optimal, in Lévy's sense, Lambdascope.[3]
^Lafont, Yves (1990). "Interaction nets". Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90. ACM. pp. 95–108. doi:10.1145/96709.96718. ISBN 0897913434. S2CID 1165803.
^Mackie, Ian (2008). "An Interaction Net Implementation of Closed Reduction". Implementation and Application of Functional Languages: 20th International Symposium. Lecture Notes in Computer Science. 5836: 43–59. doi:10.1007/978-3-642-24452-0_3. ISBN 978-3-642-24451-3.
^van Oostrom, Vincent; van de Looij, Kees-Jan; Zwitserlood, Marijn (2010). "Lambdascope: Another optimal implementation of the lambda-calculus" (PDF). Archived from the original (PDF) on 2017-07-06. {{cite journal}}: Cite journal requires |journal= (help)
Interactionnets are a graphical model of computation devised by Yves Lafont in 1990 as a generalisation of the proof structures of linear logic. An interaction...
Jean-Yves Girard. Linear logic Ludics Geometry of interaction Coherent space Deep inference Interactionnets Girard, Jean-Yves. Linear logic, Theoretical Computer...
include: Actor model Cellular automaton Interactionnets Kahn process networks Logic gates and digital circuits Petri nets Synchronous Data Flow Some of these...
connected together by edges and edges connect exactly two ports together. Interactionnets are a special subclass of linear graph grammars in which rewriting...
of constructive logical formula such that proofs are lambda terms Interactionnets Kleene–Rosser paradox – A demonstration that some form of lambda calculus...
the technique to interactionnets.: 362 Lambdascope is a more recent implementation of optimal reduction, also using interactionnets. Call by need reduction...
restrictive subclasses port graph grammars, linear graph grammars and interactionnets. Graphs are an expressive, visual and mathematically precise formalism...
transparency in computer science Regulated rewriting Rho calculus InteractionNets This variant of the previous rule is needed since the commutative law...
flat tree structures of sequent calculus. To distinguish the real proof nets from all the possible networks, Girard devised a criterion involving trips...
interaction techniques, sometimes using formalisms such as Petri nets for the purposes of formal verification. 3D interaction techniques Interaction styles...
(January 1999). "Grasping at molecular interactions and genetic networks in Drosophila melanogaster using FlyNets, an Internet database". Nucleic Acids...
South Africa, shark nets are used to reduce the risk of shark attack. Since 1936, shark nets have been used off Sydney beaches. Shark nets are currently installed...
Game theory is the study of mathematical models of strategic interactions among rational agents. It has applications in many fields of social science,...
method: although it effectively generates 2 n {\displaystyle 2^{n}} neural nets, and as such allows for model combination, at test time only a single network...
contributors to the decline in ocean health and water quality. Ghost nets, or nets abandoned in the ocean, are made of plastic and nylon and do not decompose...
Associative Memories or modern Hopfield networks. The units in Hopfield nets are binary threshold units, i.e. the units only take on two different values...
traps (NETs) comprise a web of fibers composed of chromatin and serine proteases that trap and kill extracellular microbes. It is suggested that NETs provide...
seine nets (e.g. beach seine), trawls (e.g. bottom trawl), dredges, hooks and line (e.g. long line and handline), lift nets, gillnets, entangling nets and...
Australia by 1912, until about 1950 it was still at risk of drowning in the nets of inland fisheries. The International Union for Conservation of Nature recategorised...
traps are also used. Cast nets - are round nets with small weights distributed around the edge. They are also called throw nets. The net is cast or thrown...
Higher-level interactions such as contract nets and negotiation are built using these. KQML's "communication facilitators" coordinate the interactions of other...
attends NBA games. He is a Chicago Bulls fan and occasionally attends Brooklyn Nets games. In 2016, Mulaney appeared at an event honoring the Armed forces at...
land, and assessing an area's biodiversity. Neutrophil extracellular traps (NETs) are networks of extracellular fibers, primarily composed of DNA, which allow...
Retrieved April 22, 2017. Isaac, Mike (April 9, 2012). "Exclusive: Facebook Deal Nets Instagram CEO $400 Million". Wired. Archived from the original on November...
corresponding interactions between them can represent a complex business system or process. Where Petri Nets focus on the interaction and states of objects...
Global Information