About: Interaction nets

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Graphical model of computation

Property	Value
dbo:description	graphical model of computation (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Primitives_of_Interaction_Nets.png?width=300
dbo:wikiPageExternalLink	http://haskell.di.uminho.pt/jmvilaca/INblobs/ https://codedot.github.io/lambda/ https://github.com/asperti/BOHM1.1 http://www.ctan.org/pkg/tikz-inet https://www.npmjs.com/package/inet-lib http://inl.sf.net
dbo:wikiPageWikiLink	dbc:Models_of_computation dbr:Lambda_calculus dbr:GitHub dbr:Linear_logic dbr:Proof_net dbr:Graph_rewriting dbr:Model_of_computation dbr:Geometry_of_interaction dbr:Linear_graph_grammar dbr:File:Interaction_Net_as_Configuration.png dbr:File:Examples_of_Interaction_Nets.png dbr:File:Interaction_Rule.png dbr:File:Non-deterministic_Agent.png dbr:File:Primitives_of_Interaction_Nets.png dbr:Yves_Lafont
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_web dbt:Reflist dbt:Short_description
dct:subject	dbc:Models_of_computation
gold:hypernym	dbr:Paradigm
rdfs:label	Interaction nets (en)
owl:sameAs	freebase:Interaction nets wikidata:Interaction nets dbpedia-global:Interaction nets dbr:Interaction nets
prov:wasDerivedFrom	wikipedia-en:Interaction_nets?oldid=1256165633&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Examples_of_Interaction_Nets.png wiki-commons:Special:FilePath/Interaction_Rule.png wiki-commons:Special:FilePath/Non-deterministic_Agent.png wiki-commons:Special:FilePath/Primitives_of_Interaction_Nets.png wiki-commons:Special:FilePath/Interaction_Net_as_Configuration.png
foaf:isPrimaryTopicOf	wikipedia-en:Interaction_nets
is dbo:wikiPageRedirects of	dbr:Interaction_net dbr:Interaction_calculus dbr:Interaction_combinators dbr:Interaction_system
is dbo:wikiPageWikiLink of	dbr:Reduction_strategy dbr:Lambda_calculus dbr:Proof_net dbr:Model_of_computation dbr:Interaction_net dbr:Interaction_calculus dbr:Interaction_combinators dbr:Interaction_system
is foaf:primaryTopic of	wikipedia-en:Interaction_nets