Interaction nets

Interaction nets

Interaction nets are a low level graphical computation paradigm first proposed by Lafont and based on Jean-Yves Girard's proof nets for linear logic. An interaction net system comprises: a set of agents, each with one principle port and zero or more auxiliary ports; a set of rules between agents (there is at most one rule for every pair of agents); and a net on which the rules are to be applied. Interaction nets are strongly confluent and make good use of resource sharing. They are also at the heart of the most efficient and optimal evaluators for lambda calculus available today.

External links

;Assisted drawing in LaTeX
* See also examples on [http://www.fauskes.net/pgftikzexamples/interaction-nets/] .

;Software
* See also on [http://hackage.haskell.org/cgi-bin/hackage-scripts/package/INblobs-0.1.1 its package on HackageDB] .
*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Interaction biologique — Le poisson clown et l anémone de mer ont développé une relation interspécifique d entraide. Une interaction biologique désigne un processus impliquant des échanges ou relations réciproques entre plusieurs éléments biologique (espèces, groupes,… …   Wikipédia en Français

  • Proof net — In proof theory, proof nets are a geometrical method of representing proofs such thateliminates two forms of bureaucracy that differentiates proofs: (A) irrelevant syntactical features of regular proof calculi such as the natural deduction… …   Wikipedia

  • nervous system — Anat., Zool. 1. the system of nerves and nerve centers in an animal or human, including the brain, spinal cord, nerves, and ganglia. 2. a particular part of this system. Cf. autonomic nervous system, central nervous system, peripheral nervous… …   Universalium

  • Life Sciences — ▪ 2009 Introduction Zoology       In 2008 several zoological studies provided new insights into how species life history traits (such as the timing of reproduction or the length of life of adult individuals) are derived in part as responses to… …   Universalium

  • native American — native American, adj. a person born in the United States. [1835 45, Amer.] * * * ▪ indigenous peoples of Canada and United States Introduction also called  American Indian,  Amerindian,  Amerind,  Indian,  Aboriginal American,  or  First Nation… …   Universalium

  • Native American — Indian (def. 1). Usage. See Indian, Eskimo. * * * ▪ indigenous peoples of Canada and United States Introduction also called  American Indian,  Amerindian,  Amerind,  Indian,  Aboriginal A …   Universalium

  • Irrawaddy dolphin — Size comparison with an average human Conservation status …   Wikipedia

  • undersea exploration — Introduction       the investigation and description of the ocean waters and the seafloor and of the Earth beneath. Primary objectives and accomplishments       Included in the scope of undersea exploration are the physical and chemical… …   Universalium

  • Columbia River — Coordinates: 46°14′39″N 124°3′29″W / 46.24417°N 124.05806°W / 46.24417; 124.05806 …   Wikipedia

  • Columbia (fleuve) —  Pour les articles homonymes, voir Columbia. Cet article possède un homophone, voir Colombia. Columbia (Columbia River, Wimahl, Nch’i Wàna) …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”