Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Geometry_of_interaction> ?p ?o }
Showing triples 1 to 38 of
38
with 100 triples per page.
- Geometry_of_interaction abstract "The Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on Linear logic. In linear logic, proofs can be seen as various kinds of networks as opposed to the flat tree structures of sequent calculus. To distinguish the real proof nets from all the possible networks, Girard devised a criterium involving trips in the network. Trips can in fact be seen as some kind of operator acting on the proof. Drawing from this observation, Girard described directly this operator from the proof and has given a formula, the so-called execution formula, encoding the process of cut elimination at the level of operators.One of the first significant applications of GoI was a better analysis of Lamping's algorithm for optimal reduction for the lambda calculus. GoI had a strong influence on game semantics for linear logic and PCF.GoI has been applied to deep compiler optimisation for lambda calculi. A bounded version of GoI dubbed the Geometry of Synthesis has been used to compile higher-order programming languages directly into static circuits.".
- Geometry_of_interaction wikiPageExternalLink siena07.pdf.
- Geometry_of_interaction wikiPageID "8561592".
- Geometry_of_interaction wikiPageLength "2741".
- Geometry_of_interaction wikiPageOutDegree "16".
- Geometry_of_interaction wikiPageRevisionID "678399261".
- Geometry_of_interaction wikiPageWikiLink Category:Linear_logic.
- Geometry_of_interaction wikiPageWikiLink Category:Logic_in_computer_science.
- Geometry_of_interaction wikiPageWikiLink Category:Philosophical_logic.
- Geometry_of_interaction wikiPageWikiLink Category:Proof_theory.
- Geometry_of_interaction wikiPageWikiLink Category:Semantics.
- Geometry_of_interaction wikiPageWikiLink Cut-elimination_theorem.
- Geometry_of_interaction wikiPageWikiLink Game_semantics.
- Geometry_of_interaction wikiPageWikiLink Jean-Yves_Girard.
- Geometry_of_interaction wikiPageWikiLink Lambda_calculus.
- Geometry_of_interaction wikiPageWikiLink Linear_logic.
- Geometry_of_interaction wikiPageWikiLink Operator_(mathematics).
- Geometry_of_interaction wikiPageWikiLink Programming_Computable_Functions.
- Geometry_of_interaction wikiPageWikiLink Proof_net.
- Geometry_of_interaction wikiPageWikiLink Sequent_calculus.
- Geometry_of_interaction wikiPageWikiLinkText "Geometry of interaction".
- Geometry_of_interaction wikiPageWikiLinkText "geometry of interaction".
- Geometry_of_interaction wikiPageUsesTemplate Template:Clarify.
- Geometry_of_interaction wikiPageUsesTemplate Template:Reflist.
- Geometry_of_interaction subject Category:Linear_logic.
- Geometry_of_interaction subject Category:Logic_in_computer_science.
- Geometry_of_interaction subject Category:Philosophical_logic.
- Geometry_of_interaction subject Category:Proof_theory.
- Geometry_of_interaction subject Category:Semantics.
- Geometry_of_interaction type Proof.
- Geometry_of_interaction type Redirect.
- Geometry_of_interaction comment "The Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on Linear logic. In linear logic, proofs can be seen as various kinds of networks as opposed to the flat tree structures of sequent calculus. To distinguish the real proof nets from all the possible networks, Girard devised a criterium involving trips in the network. Trips can in fact be seen as some kind of operator acting on the proof.".
- Geometry_of_interaction label "Geometry of interaction".
- Geometry_of_interaction sameAs Q5535524.
- Geometry_of_interaction sameAs m.0277yyh.
- Geometry_of_interaction sameAs Q5535524.
- Geometry_of_interaction wasDerivedFrom Geometry_of_interaction?oldid=678399261.
- Geometry_of_interaction isPrimaryTopicOf Geometry_of_interaction.