Matches in SemOpenAlex for { <https://semopenalex.org/work/W3212614923> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3212614923 endingPage "40" @default.
- W3212614923 startingPage "1" @default.
- W3212614923 abstract "Ehrhard, Pagani and Tasson proposed a model of probabilistic functional programming in a category of normed positive cones and stable measurable cone maps, which can be seen as a coordinate-free generalization of probabilistic coherence spaces. However, unlike the case of probabilistic coherence spaces, it remained unclear if the model could be refined to a model of classical linear logic. In this work we consider a somewhat similar category which gives indeed a coordinate-free model of full propositional linear logic with nondegenerate interpretation of additives and sound interpretation of exponentials. Objects are dual pairs of normed cones satisfying certain specific completeness properties, such as existence of norm-bounded monotone weak limits, and morphisms are bounded (adjointable) positive maps. Norms allow us a distinct interpretation of dual additive connectives as product and coproduct. Exponential connectives are modelled using real analytic functions and distributions that have representations as power series with positive coefficients. Unlike the familiar case of probabilistic coherence spaces, there is no reference or need for a preferred basis; in this sense the model is invariant. Probabilistic coherence spaces form a full subcategory, whose objects, seen as posets, are lattices. Thus we get a model fitting in the tradition of interpreting linear logic in a linear algebraic setting, which arguably is free from the drawbacks of its predecessors. Relations with constructions of Ehrhard, Pagani and Tasson's work are left for future research." @default.
- W3212614923 created "2021-11-22" @default.
- W3212614923 creator A5088509585 @default.
- W3212614923 date "2021-11-16" @default.
- W3212614923 modified "2023-10-14" @default.
- W3212614923 title "Linear logic in normed cones: probabilistic coherence spaces and beyond" @default.
- W3212614923 cites W147093031 @default.
- W3212614923 cites W1532754343 @default.
- W3212614923 cites W1561715289 @default.
- W3212614923 cites W1608575558 @default.
- W3212614923 cites W1964685255 @default.
- W3212614923 cites W2030485090 @default.
- W3212614923 cites W2033823998 @default.
- W3212614923 cites W2048999490 @default.
- W3212614923 cites W2053791527 @default.
- W3212614923 cites W2076894540 @default.
- W3212614923 cites W2088376608 @default.
- W3212614923 cites W2093561140 @default.
- W3212614923 cites W2102548545 @default.
- W3212614923 cites W2271724099 @default.
- W3212614923 cites W2321322028 @default.
- W3212614923 cites W2334440909 @default.
- W3212614923 cites W2768456430 @default.
- W3212614923 cites W2911865844 @default.
- W3212614923 cites W3031132030 @default.
- W3212614923 cites W3098961381 @default.
- W3212614923 cites W3124655276 @default.
- W3212614923 cites W4256453086 @default.
- W3212614923 doi "https://doi.org/10.1017/s0960129521000177" @default.
- W3212614923 hasPublicationYear "2021" @default.
- W3212614923 type Work @default.
- W3212614923 sameAs 3212614923 @default.
- W3212614923 citedByCount "0" @default.
- W3212614923 crossrefType "journal-article" @default.
- W3212614923 hasAuthorship W3212614923A5088509585 @default.
- W3212614923 hasBestOaLocation W32126149232 @default.
- W3212614923 hasConcept C105795698 @default.
- W3212614923 hasConcept C118615104 @default.
- W3212614923 hasConcept C134306372 @default.
- W3212614923 hasConcept C136119220 @default.
- W3212614923 hasConcept C137212723 @default.
- W3212614923 hasConcept C17744445 @default.
- W3212614923 hasConcept C191795146 @default.
- W3212614923 hasConcept C199360897 @default.
- W3212614923 hasConcept C199539241 @default.
- W3212614923 hasConcept C202444582 @default.
- W3212614923 hasConcept C2524010 @default.
- W3212614923 hasConcept C2781181686 @default.
- W3212614923 hasConcept C2834757 @default.
- W3212614923 hasConcept C33923547 @default.
- W3212614923 hasConcept C34388435 @default.
- W3212614923 hasConcept C41008148 @default.
- W3212614923 hasConcept C49937458 @default.
- W3212614923 hasConcept C527412718 @default.
- W3212614923 hasConceptScore W3212614923C105795698 @default.
- W3212614923 hasConceptScore W3212614923C118615104 @default.
- W3212614923 hasConceptScore W3212614923C134306372 @default.
- W3212614923 hasConceptScore W3212614923C136119220 @default.
- W3212614923 hasConceptScore W3212614923C137212723 @default.
- W3212614923 hasConceptScore W3212614923C17744445 @default.
- W3212614923 hasConceptScore W3212614923C191795146 @default.
- W3212614923 hasConceptScore W3212614923C199360897 @default.
- W3212614923 hasConceptScore W3212614923C199539241 @default.
- W3212614923 hasConceptScore W3212614923C202444582 @default.
- W3212614923 hasConceptScore W3212614923C2524010 @default.
- W3212614923 hasConceptScore W3212614923C2781181686 @default.
- W3212614923 hasConceptScore W3212614923C2834757 @default.
- W3212614923 hasConceptScore W3212614923C33923547 @default.
- W3212614923 hasConceptScore W3212614923C34388435 @default.
- W3212614923 hasConceptScore W3212614923C41008148 @default.
- W3212614923 hasConceptScore W3212614923C49937458 @default.
- W3212614923 hasConceptScore W3212614923C527412718 @default.
- W3212614923 hasLocation W32126149231 @default.
- W3212614923 hasLocation W32126149232 @default.
- W3212614923 hasOpenAccess W3212614923 @default.
- W3212614923 hasPrimaryLocation W32126149231 @default.
- W3212614923 hasRelatedWork W1718701227 @default.
- W3212614923 hasRelatedWork W1976810887 @default.
- W3212614923 hasRelatedWork W2004827554 @default.
- W3212614923 hasRelatedWork W2096805039 @default.
- W3212614923 hasRelatedWork W2142946601 @default.
- W3212614923 hasRelatedWork W2158253985 @default.
- W3212614923 hasRelatedWork W3084636652 @default.
- W3212614923 hasRelatedWork W3126773016 @default.
- W3212614923 hasRelatedWork W37373053 @default.
- W3212614923 hasRelatedWork W4375947497 @default.
- W3212614923 isParatext "false" @default.
- W3212614923 isRetracted "false" @default.
- W3212614923 magId "3212614923" @default.
- W3212614923 workType "article" @default.