FRINK Linked Data Fragments server

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

• W4384297644 abstract "Two families of denotational models have emerged from the semantic analysis of linear logic: dynamic models, typically presented as game semantics, and static models, typically based on a category of relations. In this paper we introduce a formal bridge between two-dimensional dynamic and static models: we connect the bicategory of thin concurrent games and strategies, based on event structures, to the bicategory of generalized species of structures, based on distributors.In the first part of the paper, we construct an oplax functor from (the linear bicategory of) thin concurrent games to distributors. This explains how to view a strategy as a distributor, and highlights two fundamental differences: the composition mechanism, and the representation of resource symmetries.In the second part of the paper, we adapt established methods from game semantics (visible strategies, payoff structure) to enforce a tighter connection between the two models. We obtain a cartesian closed pseudofunctor, which we exploit to shed new light on recent results in the bicategorical theory of the λ-calculus." @default.
• W4384297644 created "2023-07-15" @default.
• W4384297644 creator A5008333115 @default.
• W4384297644 creator A5064252598 @default.
• W4384297644 creator A5078853336 @default.
• W4384297644 date "2023-06-26" @default.
• W4384297644 modified "2023-09-30" @default.
• W4384297644 title "From Thin Concurrent Games to Generalized Species of Structures" @default.
• W4384297644 cites W1498388520 @default.
• W4384297644 cites W1527567728 @default.
• W4384297644 cites W1534339430 @default.
• W4384297644 cites W1564744357 @default.
• W4384297644 cites W1877442346 @default.
• W4384297644 cites W1890268527 @default.
• W4384297644 cites W1976188956 @default.
• W4384297644 cites W1986009908 @default.
• W4384297644 cites W1995251574 @default.
• W4384297644 cites W2000806582 @default.
• W4384297644 cites W2004553747 @default.
• W4384297644 cites W2014468489 @default.
• W4384297644 cites W2024189573 @default.
• W4384297644 cites W2030121500 @default.
• W4384297644 cites W2037718229 @default.
• W4384297644 cites W2050396985 @default.
• W4384297644 cites W2079873887 @default.
• W4384297644 cites W2088376608 @default.
• W4384297644 cites W2093328479 @default.
• W4384297644 cites W2134326845 @default.
• W4384297644 cites W2165446401 @default.
• W4384297644 cites W2293720230 @default.
• W4384297644 cites W2530365470 @default.
• W4384297644 cites W2567087906 @default.
• W4384297644 cites W2798278864 @default.
• W4384297644 cites W2798871919 @default.
• W4384297644 cites W2911865844 @default.
• W4384297644 cites W2964032597 @default.
• W4384297644 cites W2965115827 @default.
• W4384297644 cites W2965374511 @default.
• W4384297644 cites W2995530096 @default.
• W4384297644 cites W2996525390 @default.
• W4384297644 cites W3174705094 @default.
• W4384297644 cites W4213084408 @default.
• W4384297644 cites W4315605939 @default.
• W4384297644 doi "https://doi.org/10.1109/lics56636.2023.10175681" @default.
• W4384297644 hasPublicationYear "2023" @default.
• W4384297644 type Work @default.
• W4384297644 citedByCount "0" @default.
• W4384297644 crossrefType "proceedings-article" @default.
• W4384297644 hasAuthorship W4384297644A5008333115 @default.
• W4384297644 hasAuthorship W4384297644A5064252598 @default.
• W4384297644 hasAuthorship W4384297644A5078853336 @default.
• W4384297644 hasBestOaLocation W43842976442 @default.
• W4384297644 hasConcept C13355873 @default.
• W4384297644 hasConcept C144237770 @default.
• W4384297644 hasConcept C156325763 @default.
• W4384297644 hasConcept C165696696 @default.
• W4384297644 hasConcept C177142836 @default.
• W4384297644 hasConcept C17744445 @default.
• W4384297644 hasConcept C184337299 @default.
• W4384297644 hasConcept C193702766 @default.
• W4384297644 hasConcept C199360897 @default.
• W4384297644 hasConcept C199539241 @default.
• W4384297644 hasConcept C207648694 @default.
• W4384297644 hasConcept C2524010 @default.
• W4384297644 hasConcept C2776359362 @default.
• W4384297644 hasConcept C33923547 @default.
• W4384297644 hasConcept C38652104 @default.
• W4384297644 hasConcept C41008148 @default.
• W4384297644 hasConcept C80444323 @default.
• W4384297644 hasConcept C94625758 @default.
• W4384297644 hasConcept C9672783 @default.
• W4384297644 hasConceptScore W4384297644C13355873 @default.
• W4384297644 hasConceptScore W4384297644C144237770 @default.
• W4384297644 hasConceptScore W4384297644C156325763 @default.
• W4384297644 hasConceptScore W4384297644C165696696 @default.
• W4384297644 hasConceptScore W4384297644C177142836 @default.
• W4384297644 hasConceptScore W4384297644C17744445 @default.
• W4384297644 hasConceptScore W4384297644C184337299 @default.
• W4384297644 hasConceptScore W4384297644C193702766 @default.
• W4384297644 hasConceptScore W4384297644C199360897 @default.
• W4384297644 hasConceptScore W4384297644C199539241 @default.
• W4384297644 hasConceptScore W4384297644C207648694 @default.
• W4384297644 hasConceptScore W4384297644C2524010 @default.
• W4384297644 hasConceptScore W4384297644C2776359362 @default.
• W4384297644 hasConceptScore W4384297644C33923547 @default.
• W4384297644 hasConceptScore W4384297644C38652104 @default.
• W4384297644 hasConceptScore W4384297644C41008148 @default.
• W4384297644 hasConceptScore W4384297644C80444323 @default.
• W4384297644 hasConceptScore W4384297644C94625758 @default.
• W4384297644 hasConceptScore W4384297644C9672783 @default.
• W4384297644 hasFunder F4320322364 @default.
• W4384297644 hasFunder F4320326804 @default.
• W4384297644 hasLocation W43842976441 @default.
• W4384297644 hasLocation W43842976442 @default.
• W4384297644 hasOpenAccess W4384297644 @default.
• W4384297644 hasPrimaryLocation W43842976441 @default.
• W4384297644 hasRelatedWork W1855927527 @default.
• W4384297644 hasRelatedWork W1965724121 @default.
• W4384297644 hasRelatedWork W2106383088 @default.
• W4384297644 hasRelatedWork W2364990290 @default.

• next