FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952079152> ?p ?o ?g. }

• W2952079152 abstract "We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net. A key role is played by the notion of {em history-free} strategy; strong connections are made between history-free strategies and the Geometry of Interaction. Our semantics incorporates a natural notion of polarity, leading to a refined treatment of the additives. We make comparisons with related work by Joyal, Blass et al." @default.
• W2952079152 created "2019-06-27" @default.
• W2952079152 creator A5056673780 @default.
• W2952079152 creator A5081687891 @default.
• W2952079152 date "2013-11-23" @default.
• W2952079152 modified "2023-09-27" @default.
• W2952079152 title "Games and Full Completeness for Multiplicative Linear Logic" @default.
• W2952079152 cites W1514349410 @default.
• W2952079152 cites W1517759553 @default.
• W2952079152 cites W1524811322 @default.
• W2952079152 cites W1582886330 @default.
• W2952079152 cites W1910820376 @default.
• W2952079152 cites W1952931766 @default.
• W2952079152 cites W1961717322 @default.
• W2952079152 cites W1965338471 @default.
• W2952079152 cites W1985185257 @default.
• W2952079152 cites W1993205599 @default.
• W2952079152 cites W1996605832 @default.
• W2952079152 cites W2004063149 @default.
• W2952079152 cites W2007270285 @default.
• W2952079152 cites W2012968289 @default.
• W2952079152 cites W2041917765 @default.
• W2952079152 cites W2065261632 @default.
• W2952079152 cites W2079171825 @default.
• W2952079152 cites W2093397547 @default.
• W2952079152 cites W2111956051 @default.
• W2952079152 cites W2144747140 @default.
• W2952079152 cites W2180882461 @default.
• W2952079152 cites W2294530123 @default.
• W2952079152 cites W2482810752 @default.
• W2952079152 cites W2914837968 @default.
• W2952079152 cites W3144368627 @default.
• W2952079152 hasPublicationYear "2013" @default.
• W2952079152 type Work @default.
• W2952079152 sameAs 2952079152 @default.
• W2952079152 citedByCount "0" @default.
• W2952079152 crossrefType "posted-content" @default.
• W2952079152 hasAuthorship W2952079152A5056673780 @default.
• W2952079152 hasAuthorship W2952079152A5081687891 @default.
• W2952079152 hasConcept C108710211 @default.
• W2952079152 hasConcept C118615104 @default.
• W2952079152 hasConcept C134306372 @default.
• W2952079152 hasConcept C136119220 @default.
• W2952079152 hasConcept C138885662 @default.
• W2952079152 hasConcept C139997677 @default.
• W2952079152 hasConcept C144237770 @default.
• W2952079152 hasConcept C149106765 @default.
• W2952079152 hasConcept C156325763 @default.
• W2952079152 hasConcept C17231256 @default.
• W2952079152 hasConcept C184337299 @default.
• W2952079152 hasConcept C199343813 @default.
• W2952079152 hasConcept C199360897 @default.
• W2952079152 hasConcept C202444582 @default.
• W2952079152 hasConcept C207648694 @default.
• W2952079152 hasConcept C2524010 @default.
• W2952079152 hasConcept C2777686260 @default.
• W2952079152 hasConcept C28077239 @default.
• W2952079152 hasConcept C33923547 @default.
• W2952079152 hasConcept C41008148 @default.
• W2952079152 hasConcept C41895202 @default.
• W2952079152 hasConcept C42747912 @default.
• W2952079152 hasConcept C71924100 @default.
• W2952079152 hasConcept C9672783 @default.
• W2952079152 hasConceptScore W2952079152C108710211 @default.
• W2952079152 hasConceptScore W2952079152C118615104 @default.
• W2952079152 hasConceptScore W2952079152C134306372 @default.
• W2952079152 hasConceptScore W2952079152C136119220 @default.
• W2952079152 hasConceptScore W2952079152C138885662 @default.
• W2952079152 hasConceptScore W2952079152C139997677 @default.
• W2952079152 hasConceptScore W2952079152C144237770 @default.
• W2952079152 hasConceptScore W2952079152C149106765 @default.
• W2952079152 hasConceptScore W2952079152C156325763 @default.
• W2952079152 hasConceptScore W2952079152C17231256 @default.
• W2952079152 hasConceptScore W2952079152C184337299 @default.
• W2952079152 hasConceptScore W2952079152C199343813 @default.
• W2952079152 hasConceptScore W2952079152C199360897 @default.
• W2952079152 hasConceptScore W2952079152C202444582 @default.
• W2952079152 hasConceptScore W2952079152C207648694 @default.
• W2952079152 hasConceptScore W2952079152C2524010 @default.
• W2952079152 hasConceptScore W2952079152C2777686260 @default.
• W2952079152 hasConceptScore W2952079152C28077239 @default.
• W2952079152 hasConceptScore W2952079152C33923547 @default.
• W2952079152 hasConceptScore W2952079152C41008148 @default.
• W2952079152 hasConceptScore W2952079152C41895202 @default.
• W2952079152 hasConceptScore W2952079152C42747912 @default.
• W2952079152 hasConceptScore W2952079152C71924100 @default.
• W2952079152 hasConceptScore W2952079152C9672783 @default.
• W2952079152 hasLocation W29520791521 @default.
• W2952079152 hasOpenAccess W2952079152 @default.
• W2952079152 hasPrimaryLocation W29520791521 @default.
• W2952079152 hasRelatedWork W119698436 @default.
• W2952079152 hasRelatedWork W1526036637 @default.
• W2952079152 hasRelatedWork W1596233210 @default.
• W2952079152 hasRelatedWork W1971681260 @default.
• W2952079152 hasRelatedWork W1979324214 @default.
• W2952079152 hasRelatedWork W2009804064 @default.
• W2952079152 hasRelatedWork W2093094242 @default.
• W2952079152 hasRelatedWork W2094685149 @default.
• W2952079152 hasRelatedWork W2098315863 @default.
• W2952079152 hasRelatedWork W2115051556 @default.

• next