Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Interaction_nets> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- Interaction_nets abstract "Interaction nets are a low level graphical computation paradigm first proposed by Yves 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 principal 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. Compared to traditional term syntax, interaction nets enforce linearity -- each resource is used exactly once --, from which we can derive strong confluence. Thus, they provide a natural language for massive parallelism. They are also at the heart of the efficient and optimal, in Levy's sense, evaluators for lambda calculus available today.".
- Interaction_nets wikiPageExternalLink INblobs-0.1.1.
- Interaction_nets wikiPageExternalLink INblobs.
- Interaction_nets wikiPageExternalLink inl.sf.net.
- Interaction_nets wikiPageExternalLink tikz-inet.
- Interaction_nets wikiPageExternalLink interaction-nets.
- Interaction_nets wikiPageID "8177257".
- Interaction_nets wikiPageRevisionID "588487357".
- Interaction_nets hasPhotoCollection Interaction_nets.
- Interaction_nets subject Category:Models_of_computation.
- Interaction_nets type Assistant109815790.
- Interaction_nets type CausalAgent100007347.
- Interaction_nets type LivingThing100004258.
- Interaction_nets type Model110324560.
- Interaction_nets type ModelsOfComputation.
- Interaction_nets type Object100002684.
- Interaction_nets type Organism100004475.
- Interaction_nets type Person100007846.
- Interaction_nets type PhysicalEntity100001930.
- Interaction_nets type Whole100003553.
- Interaction_nets type Worker109632518.
- Interaction_nets type YagoLegalActor.
- Interaction_nets type YagoLegalActorGeo.
- Interaction_nets comment "Interaction nets are a low level graphical computation paradigm first proposed by Yves 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 principal 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 label "Interaction nets".
- Interaction_nets sameAs m.026vbrd.
- Interaction_nets sameAs Q6045193.
- Interaction_nets sameAs Q6045193.
- Interaction_nets sameAs Interaction_nets.
- Interaction_nets wasDerivedFrom Interaction_nets?oldid=588487357.
- Interaction_nets isPrimaryTopicOf Interaction_nets.