Matches in SemOpenAlex for { <https://semopenalex.org/work/W2123423767> ?p ?o ?g. }
- W2123423767 abstract "Monoidal categories of acyclic graphs capture the notion of multihole context, pervasive in syntax and semantics. Milner’s bigraphs is a recent example. We give a method for generalising such categories to monoidal closed categories of acyclic graphs. The method combines the Int-construction, lifting traced monoidal categories to compact closed ones; the recent formulation of sortings for reactive systems; and games for multiplicative linear logic. The closed categories obtained by our construction captures a notion of higher-order contexts. These encompass extensions to the traditional notion of context found in recent work on Milner’s reactive systems and bigraphs. We demonstrate how technical devices employed in these extensions are in fact intrinsic to higher-order contexts. Finally, we use the method to construct higher-order bigraphs, recovering directed bigraphs as a limited instance." @default.
- W2123423767 created "2016-06-24" @default.
- W2123423767 creator A5037754182 @default.
- W2123423767 creator A5045582569 @default.
- W2123423767 creator A5052605425 @default.
- W2123423767 creator A5055959064 @default.
- W2123423767 creator A5082171323 @default.
- W2123423767 date "2009-01-01" @default.
- W2123423767 modified "2023-09-27" @default.
- W2123423767 title "Higher-order Contexts via Games and the Int-construction" @default.
- W2123423767 cites W1495299640 @default.
- W2123423767 cites W1500576982 @default.
- W2123423767 cites W1530882603 @default.
- W2123423767 cites W1534947867 @default.
- W2123423767 cites W1541912827 @default.
- W2123423767 cites W1557330313 @default.
- W2123423767 cites W1576961733 @default.
- W2123423767 cites W1586231716 @default.
- W2123423767 cites W1675309158 @default.
- W2123423767 cites W1854137054 @default.
- W2123423767 cites W1969001723 @default.
- W2123423767 cites W1996178292 @default.
- W2123423767 cites W2000131140 @default.
- W2123423767 cites W2049924207 @default.
- W2123423767 cites W2057814731 @default.
- W2123423767 cites W2089663991 @default.
- W2123423767 cites W2094685149 @default.
- W2123423767 cites W2098149321 @default.
- W2123423767 cites W2101618054 @default.
- W2123423767 cites W2102357532 @default.
- W2123423767 cites W2138984561 @default.
- W2123423767 cites W2143029909 @default.
- W2123423767 cites W2148761448 @default.
- W2123423767 cites W2157586102 @default.
- W2123423767 cites W2754881607 @default.
- W2123423767 cites W2912052495 @default.
- W2123423767 cites W2989806751 @default.
- W2123423767 cites W2611008822 @default.
- W2123423767 cites W66339316 @default.
- W2123423767 hasPublicationYear "2009" @default.
- W2123423767 type Work @default.
- W2123423767 sameAs 2123423767 @default.
- W2123423767 citedByCount "0" @default.
- W2123423767 crossrefType "journal-article" @default.
- W2123423767 hasAuthorship W2123423767A5037754182 @default.
- W2123423767 hasAuthorship W2123423767A5045582569 @default.
- W2123423767 hasAuthorship W2123423767A5052605425 @default.
- W2123423767 hasAuthorship W2123423767A5055959064 @default.
- W2123423767 hasAuthorship W2123423767A5082171323 @default.
- W2123423767 hasConcept C10138342 @default.
- W2123423767 hasConcept C134306372 @default.
- W2123423767 hasConcept C151730666 @default.
- W2123423767 hasConcept C154945302 @default.
- W2123423767 hasConcept C162324750 @default.
- W2123423767 hasConcept C182306322 @default.
- W2123423767 hasConcept C184337299 @default.
- W2123423767 hasConcept C199360897 @default.
- W2123423767 hasConcept C2779343474 @default.
- W2123423767 hasConcept C2780801425 @default.
- W2123423767 hasConcept C33923547 @default.
- W2123423767 hasConcept C41008148 @default.
- W2123423767 hasConcept C42747912 @default.
- W2123423767 hasConcept C60048249 @default.
- W2123423767 hasConcept C80444323 @default.
- W2123423767 hasConcept C86803240 @default.
- W2123423767 hasConceptScore W2123423767C10138342 @default.
- W2123423767 hasConceptScore W2123423767C134306372 @default.
- W2123423767 hasConceptScore W2123423767C151730666 @default.
- W2123423767 hasConceptScore W2123423767C154945302 @default.
- W2123423767 hasConceptScore W2123423767C162324750 @default.
- W2123423767 hasConceptScore W2123423767C182306322 @default.
- W2123423767 hasConceptScore W2123423767C184337299 @default.
- W2123423767 hasConceptScore W2123423767C199360897 @default.
- W2123423767 hasConceptScore W2123423767C2779343474 @default.
- W2123423767 hasConceptScore W2123423767C2780801425 @default.
- W2123423767 hasConceptScore W2123423767C33923547 @default.
- W2123423767 hasConceptScore W2123423767C41008148 @default.
- W2123423767 hasConceptScore W2123423767C42747912 @default.
- W2123423767 hasConceptScore W2123423767C60048249 @default.
- W2123423767 hasConceptScore W2123423767C80444323 @default.
- W2123423767 hasConceptScore W2123423767C86803240 @default.
- W2123423767 hasLocation W21234237671 @default.
- W2123423767 hasOpenAccess W2123423767 @default.
- W2123423767 hasPrimaryLocation W21234237671 @default.
- W2123423767 hasRelatedWork W1536897572 @default.
- W2123423767 hasRelatedWork W1554525902 @default.
- W2123423767 hasRelatedWork W1599187270 @default.
- W2123423767 hasRelatedWork W2016554178 @default.
- W2123423767 hasRelatedWork W2116877111 @default.
- W2123423767 hasRelatedWork W2147813818 @default.
- W2123423767 hasRelatedWork W2187757927 @default.
- W2123423767 hasRelatedWork W2430520020 @default.
- W2123423767 hasRelatedWork W2588203302 @default.
- W2123423767 hasRelatedWork W2796845927 @default.
- W2123423767 hasRelatedWork W2910464916 @default.
- W2123423767 hasRelatedWork W2963115424 @default.
- W2123423767 hasRelatedWork W2997619658 @default.
- W2123423767 hasRelatedWork W3011585936 @default.
- W2123423767 hasRelatedWork W3123222123 @default.
- W2123423767 hasRelatedWork W3149383919 @default.