Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964290204> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2964290204 abstract "Game semantics is a rich and successful class of denotational models for programming languages. Most game models feature a rather intuitive setup, yet surprisingly difficult proofs of such basic results as associativity of composition of strategies. We seek to unify these models into a basic abstract framework for game semantics, game settings. Our main contribution is the generic construction, for any game setting, of a category of games and strategies. Furthermore, we extend the framework to deal with innocence, and prove that innocent strategies form a subcategory. We finally show that our constructions cover many concrete cases, mainly among the early models [5, 23] and the recent, sheaf-based ones [40]." @default.
- W2964290204 created "2019-07-30" @default.
- W2964290204 creator A5021644096 @default.
- W2964290204 creator A5072416125 @default.
- W2964290204 date "2018-07-09" @default.
- W2964290204 modified "2023-09-24" @default.
- W2964290204 title "What's in a game?" @default.
- W2964290204 cites W104819362 @default.
- W2964290204 cites W1527567728 @default.
- W2964290204 cites W1564744357 @default.
- W2964290204 cites W1890268527 @default.
- W2964290204 cites W2018240380 @default.
- W2964290204 cites W2024189573 @default.
- W2964290204 cites W2024781128 @default.
- W2964290204 cites W2076994233 @default.
- W2964290204 cites W2113988682 @default.
- W2964290204 cites W2125249767 @default.
- W2964290204 cites W2165446401 @default.
- W2964290204 cites W2293720230 @default.
- W2964290204 cites W2650831125 @default.
- W2964290204 cites W2963887524 @default.
- W2964290204 cites W4239422987 @default.
- W2964290204 cites W4249168174 @default.
- W2964290204 doi "https://doi.org/10.1145/3209108.3209114" @default.
- W2964290204 hasPublicationYear "2018" @default.
- W2964290204 type Work @default.
- W2964290204 sameAs 2964290204 @default.
- W2964290204 citedByCount "5" @default.
- W2964290204 countsByYear W29642902042018 @default.
- W2964290204 countsByYear W29642902042019 @default.
- W2964290204 countsByYear W29642902042021 @default.
- W2964290204 crossrefType "proceedings-article" @default.
- W2964290204 hasAuthorship W2964290204A5021644096 @default.
- W2964290204 hasAuthorship W2964290204A5072416125 @default.
- W2964290204 hasBestOaLocation W29642902042 @default.
- W2964290204 hasConcept C102234262 @default.
- W2964290204 hasConcept C108710211 @default.
- W2964290204 hasConcept C118615104 @default.
- W2964290204 hasConcept C127413603 @default.
- W2964290204 hasConcept C144237770 @default.
- W2964290204 hasConcept C156325763 @default.
- W2964290204 hasConcept C177142836 @default.
- W2964290204 hasConcept C184337299 @default.
- W2964290204 hasConcept C199360897 @default.
- W2964290204 hasConcept C202444582 @default.
- W2964290204 hasConcept C202556891 @default.
- W2964290204 hasConcept C207648694 @default.
- W2964290204 hasConcept C2524010 @default.
- W2964290204 hasConcept C2780428219 @default.
- W2964290204 hasConcept C2780617661 @default.
- W2964290204 hasConcept C33923547 @default.
- W2964290204 hasConcept C4017995 @default.
- W2964290204 hasConcept C41008148 @default.
- W2964290204 hasConcept C78519656 @default.
- W2964290204 hasConcept C80444323 @default.
- W2964290204 hasConcept C9672783 @default.
- W2964290204 hasConceptScore W2964290204C102234262 @default.
- W2964290204 hasConceptScore W2964290204C108710211 @default.
- W2964290204 hasConceptScore W2964290204C118615104 @default.
- W2964290204 hasConceptScore W2964290204C127413603 @default.
- W2964290204 hasConceptScore W2964290204C144237770 @default.
- W2964290204 hasConceptScore W2964290204C156325763 @default.
- W2964290204 hasConceptScore W2964290204C177142836 @default.
- W2964290204 hasConceptScore W2964290204C184337299 @default.
- W2964290204 hasConceptScore W2964290204C199360897 @default.
- W2964290204 hasConceptScore W2964290204C202444582 @default.
- W2964290204 hasConceptScore W2964290204C202556891 @default.
- W2964290204 hasConceptScore W2964290204C207648694 @default.
- W2964290204 hasConceptScore W2964290204C2524010 @default.
- W2964290204 hasConceptScore W2964290204C2780428219 @default.
- W2964290204 hasConceptScore W2964290204C2780617661 @default.
- W2964290204 hasConceptScore W2964290204C33923547 @default.
- W2964290204 hasConceptScore W2964290204C4017995 @default.
- W2964290204 hasConceptScore W2964290204C41008148 @default.
- W2964290204 hasConceptScore W2964290204C78519656 @default.
- W2964290204 hasConceptScore W2964290204C80444323 @default.
- W2964290204 hasConceptScore W2964290204C9672783 @default.
- W2964290204 hasLocation W29642902041 @default.
- W2964290204 hasLocation W29642902042 @default.
- W2964290204 hasLocation W29642902043 @default.
- W2964290204 hasLocation W29642902044 @default.
- W2964290204 hasLocation W29642902045 @default.
- W2964290204 hasOpenAccess W2964290204 @default.
- W2964290204 hasPrimaryLocation W29642902041 @default.
- W2964290204 hasRelatedWork W110688484 @default.
- W2964290204 hasRelatedWork W1494646251 @default.
- W2964290204 hasRelatedWork W1965339206 @default.
- W2964290204 hasRelatedWork W2775722550 @default.
- W2964290204 hasRelatedWork W2952136710 @default.
- W2964290204 hasRelatedWork W2964290204 @default.
- W2964290204 hasRelatedWork W3217303541 @default.
- W2964290204 hasRelatedWork W4210873156 @default.
- W2964290204 hasRelatedWork W4210938604 @default.
- W2964290204 hasRelatedWork W4297827766 @default.
- W2964290204 isParatext "false" @default.
- W2964290204 isRetracted "false" @default.
- W2964290204 magId "2964290204" @default.
- W2964290204 workType "article" @default.