Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Interaction_nets> ?p ?o }
Showing triples 1 to 35 of
35
with 100 triples 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.
- Interaction_nets wikiPageExternalLink inl.sf.net.
- Interaction_nets wikiPageExternalLink tikz-inet.
- Interaction_nets wikiPageExternalLink INblobs-0.1.1.
- Interaction_nets wikiPageExternalLink interaction-nets.
- Interaction_nets wikiPageID "8177257".
- Interaction_nets wikiPageLength "1638".
- Interaction_nets wikiPageOutDegree "8".
- Interaction_nets wikiPageRevisionID "588487357".
- Interaction_nets wikiPageWikiLink Category:Models_of_computation.
- Interaction_nets wikiPageWikiLink Confluence_(abstract_rewriting).
- Interaction_nets wikiPageWikiLink Evaluation_strategy.
- Interaction_nets wikiPageWikiLink Jean-Yves_Girard.
- Interaction_nets wikiPageWikiLink Lambda_calculus.
- Interaction_nets wikiPageWikiLink Linear_logic.
- Interaction_nets wikiPageWikiLink Proof_net.
- Interaction_nets wikiPageWikiLink Yves_Lafont.
- Interaction_nets wikiPageWikiLinkText "Interaction nets".
- Interaction_nets wikiPageUsesTemplate Template:Cite_web.
- Interaction_nets wikiPageUsesTemplate Template:Compu-stub.
- Interaction_nets wikiPageUsesTemplate Template:Unreferenced.
- Interaction_nets subject Category:Models_of_computation.
- Interaction_nets hypernym Paradigm.
- Interaction_nets type Model.
- Interaction_nets type ProgrammingLanguage.
- Interaction_nets type Method.
- Interaction_nets type Model.
- 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 Q6045193.
- Interaction_nets sameAs m.026vbrd.
- Interaction_nets sameAs Q6045193.
- Interaction_nets wasDerivedFrom Interaction_nets?oldid=588487357.
- Interaction_nets isPrimaryTopicOf Interaction_nets.