Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023384683> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2023384683 abstract "In 2007, Harmer, Hyland and Mellies gave a formal mathematical foundation for game semantics using a notion they called a ⊸-schedule, and the similar notion of ⊗-schedule, both structures describing interleavings of plays in games. Their definition was combinatorial in nature, but researchers often draw pictures when describing schedules in practice. Moreover, several proofs of key properties, such as that the composition of ⊸-schedules is associative, involve cumbersome combinatorial detail, whereas in terms of pictures the proof is straightforward, reflecting the geometry of the plane. Here, we give a geometric formulation of ⊸-schedules and ⊗-schedules, prove that they are isomorphic to Harmer et al.'s definitions, and illustrate their value by giving such geometric proofs. Harmer et al.'s notions may be combined to describe plays in multi-component games, and researchers have similarly developed intuitive graphical representations of plays in these games. We give a characterisation of these diagrams and explicitly describe how they relate to the underlying schedules, finally using this relation to provide new, intuitive proofs of key categorical properties." @default.
- W2023384683 created "2016-06-24" @default.
- W2023384683 creator A5041412703 @default.
- W2023384683 creator A5049298599 @default.
- W2023384683 creator A5082619162 @default.
- W2023384683 date "2015-04-01" @default.
- W2023384683 modified "2023-09-23" @default.
- W2023384683 title "A graphical foundation for interleaving in game semantics" @default.
- W2023384683 cites W1973799895 @default.
- W2023384683 cites W2022595765 @default.
- W2023384683 cites W2024189573 @default.
- W2023384683 cites W2076994233 @default.
- W2023384683 cites W2106420596 @default.
- W2023384683 cites W2115051556 @default.
- W2023384683 cites W2165446401 @default.
- W2023384683 cites W2911865844 @default.
- W2023384683 cites W4205415028 @default.
- W2023384683 doi "https://doi.org/10.1016/j.jpaa.2014.05.040" @default.
- W2023384683 hasPublicationYear "2015" @default.
- W2023384683 type Work @default.
- W2023384683 sameAs 2023384683 @default.
- W2023384683 citedByCount "0" @default.
- W2023384683 crossrefType "journal-article" @default.
- W2023384683 hasAuthorship W2023384683A5041412703 @default.
- W2023384683 hasAuthorship W2023384683A5049298599 @default.
- W2023384683 hasAuthorship W2023384683A5082619162 @default.
- W2023384683 hasBestOaLocation W20233846832 @default.
- W2023384683 hasConcept C108710211 @default.
- W2023384683 hasConcept C111919701 @default.
- W2023384683 hasConcept C136119220 @default.
- W2023384683 hasConcept C159423971 @default.
- W2023384683 hasConcept C184337299 @default.
- W2023384683 hasConcept C199360897 @default.
- W2023384683 hasConcept C202444582 @default.
- W2023384683 hasConcept C2524010 @default.
- W2023384683 hasConcept C25343380 @default.
- W2023384683 hasConcept C26517878 @default.
- W2023384683 hasConcept C28034677 @default.
- W2023384683 hasConcept C33923547 @default.
- W2023384683 hasConcept C38652104 @default.
- W2023384683 hasConcept C41008148 @default.
- W2023384683 hasConcept C68387754 @default.
- W2023384683 hasConcept C77088390 @default.
- W2023384683 hasConcept C80444323 @default.
- W2023384683 hasConceptScore W2023384683C108710211 @default.
- W2023384683 hasConceptScore W2023384683C111919701 @default.
- W2023384683 hasConceptScore W2023384683C136119220 @default.
- W2023384683 hasConceptScore W2023384683C159423971 @default.
- W2023384683 hasConceptScore W2023384683C184337299 @default.
- W2023384683 hasConceptScore W2023384683C199360897 @default.
- W2023384683 hasConceptScore W2023384683C202444582 @default.
- W2023384683 hasConceptScore W2023384683C2524010 @default.
- W2023384683 hasConceptScore W2023384683C25343380 @default.
- W2023384683 hasConceptScore W2023384683C26517878 @default.
- W2023384683 hasConceptScore W2023384683C28034677 @default.
- W2023384683 hasConceptScore W2023384683C33923547 @default.
- W2023384683 hasConceptScore W2023384683C38652104 @default.
- W2023384683 hasConceptScore W2023384683C41008148 @default.
- W2023384683 hasConceptScore W2023384683C68387754 @default.
- W2023384683 hasConceptScore W2023384683C77088390 @default.
- W2023384683 hasConceptScore W2023384683C80444323 @default.
- W2023384683 hasLocation W20233846831 @default.
- W2023384683 hasLocation W20233846832 @default.
- W2023384683 hasOpenAccess W2023384683 @default.
- W2023384683 hasPrimaryLocation W20233846831 @default.
- W2023384683 hasRelatedWork W1541966923 @default.
- W2023384683 hasRelatedWork W1584137897 @default.
- W2023384683 hasRelatedWork W2039603601 @default.
- W2023384683 hasRelatedWork W2063750594 @default.
- W2023384683 hasRelatedWork W2096289911 @default.
- W2023384683 hasRelatedWork W2097295178 @default.
- W2023384683 hasRelatedWork W2101443478 @default.
- W2023384683 hasRelatedWork W2142191419 @default.
- W2023384683 hasRelatedWork W2164688709 @default.
- W2023384683 hasRelatedWork W2165718795 @default.
- W2023384683 hasRelatedWork W2200330162 @default.
- W2023384683 hasRelatedWork W2241066281 @default.
- W2023384683 hasRelatedWork W2340736086 @default.
- W2023384683 hasRelatedWork W273722123 @default.
- W2023384683 hasRelatedWork W2942487569 @default.
- W2023384683 hasRelatedWork W3129725704 @default.
- W2023384683 hasRelatedWork W31726234 @default.
- W2023384683 hasRelatedWork W3196214371 @default.
- W2023384683 hasRelatedWork W152841334 @default.
- W2023384683 hasRelatedWork W3107872522 @default.
- W2023384683 isParatext "false" @default.
- W2023384683 isRetracted "false" @default.
- W2023384683 magId "2023384683" @default.
- W2023384683 workType "article" @default.