Matches in SemOpenAlex for { <https://semopenalex.org/work/W96176537> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W96176537 abstract "One fundamental aspect of linear logic is that its conjunction behaves in the same way as a tensor product in linear algebra. Guided by this intuition, we investigate the algebraic status of disjunction – the dual of conjunction – in the presence of linear continuations. We start from the observation that every monoidal category equipped with a tensorial negation inherits a lax monoidal structure from its opposite category. This lax structure interprets disjunction, and induces a multicategory whose underlying category coincides with the kleisli category associated to the continuation monad. We study the structure of this multicategory, and establish a structure theorem adapting to linear continuations a result by Peter Selinger on control categories and cartesian continuations." @default.
- W96176537 created "2016-06-24" @default.
- W96176537 creator A5033499088 @default.
- W96176537 date "2007-01-01" @default.
- W96176537 modified "2023-10-16" @default.
- W96176537 title "Linear continuations and duality" @default.
- W96176537 cites W1507409515 @default.
- W96176537 cites W1559383704 @default.
- W96176537 cites W1985185257 @default.
- W96176537 cites W1988612426 @default.
- W96176537 cites W2018773995 @default.
- W96176537 cites W2047862786 @default.
- W96176537 cites W2078051080 @default.
- W96176537 cites W2101416179 @default.
- W96176537 cites W2120365353 @default.
- W96176537 cites W2152013675 @default.
- W96176537 cites W2153079347 @default.
- W96176537 cites W2169721388 @default.
- W96176537 cites W2911874855 @default.
- W96176537 hasPublicationYear "2007" @default.
- W96176537 type Work @default.
- W96176537 sameAs 96176537 @default.
- W96176537 citedByCount "0" @default.
- W96176537 crossrefType "posted-content" @default.
- W96176537 hasAuthorship W96176537A5033499088 @default.
- W96176537 hasBestOaLocation W961765371 @default.
- W96176537 hasConcept C136119220 @default.
- W96176537 hasConcept C144237770 @default.
- W96176537 hasConcept C202444582 @default.
- W96176537 hasConcept C2778023678 @default.
- W96176537 hasConcept C33923547 @default.
- W96176537 hasConceptScore W96176537C136119220 @default.
- W96176537 hasConceptScore W96176537C144237770 @default.
- W96176537 hasConceptScore W96176537C202444582 @default.
- W96176537 hasConceptScore W96176537C2778023678 @default.
- W96176537 hasConceptScore W96176537C33923547 @default.
- W96176537 hasLocation W961765371 @default.
- W96176537 hasLocation W961765372 @default.
- W96176537 hasLocation W961765373 @default.
- W96176537 hasLocation W961765374 @default.
- W96176537 hasOpenAccess W96176537 @default.
- W96176537 hasPrimaryLocation W961765371 @default.
- W96176537 hasRelatedWork W1587224694 @default.
- W96176537 hasRelatedWork W1979597421 @default.
- W96176537 hasRelatedWork W2007980826 @default.
- W96176537 hasRelatedWork W2061531152 @default.
- W96176537 hasRelatedWork W2077600819 @default.
- W96176537 hasRelatedWork W2142036596 @default.
- W96176537 hasRelatedWork W2911598644 @default.
- W96176537 hasRelatedWork W3002753104 @default.
- W96176537 hasRelatedWork W4225152035 @default.
- W96176537 hasRelatedWork W4245490552 @default.
- W96176537 isParatext "false" @default.
- W96176537 isRetracted "false" @default.
- W96176537 magId "96176537" @default.
- W96176537 workType "article" @default.