Matches in SemOpenAlex for { <https://semopenalex.org/work/W3031132030> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3031132030 abstract "For overcoming the limitations of probabilistic coherence spaces which do not seem to provide natural interpretations of continuous data types such as the real line, we introduced with Pagani and Tasson a model of probabilistic higher order computation based on (positive) cones, and a class of totally monotone functions that we called stable. Then Crubillé proved that this model is a conservative extension of the earlier probabilistic coherence space model. We continue these investigations by showing that the category of cones and linear and Scott-continuous functions is a model of intuitionistic linear logic. To define the tensor product, we use the special adjoint functor theorem, and we prove that this operation is an extension of the standard tensor product of probabilistic coherence spaces. We also show that these latter are dense in cones, thus allowing to lift the main properties of the tensor product of probabilistic coherence spaces to general cones. Finally we define in the same way an exponential of cones and extend measurability to these new operations." @default.
- W3031132030 created "2020-06-05" @default.
- W3031132030 creator A5006888140 @default.
- W3031132030 date "2020-07-08" @default.
- W3031132030 modified "2023-10-14" @default.
- W3031132030 title "Cones as a model of intuitionistic linear logic" @default.
- W3031132030 cites W2007270285 @default.
- W3031132030 cites W2048999490 @default.
- W3031132030 cites W2097508818 @default.
- W3031132030 cites W2799180001 @default.
- W3031132030 cites W2963573740 @default.
- W3031132030 cites W2994797498 @default.
- W3031132030 cites W3124655276 @default.
- W3031132030 doi "https://doi.org/10.1145/3373718.3394758" @default.
- W3031132030 hasPublicationYear "2020" @default.
- W3031132030 type Work @default.
- W3031132030 sameAs 3031132030 @default.
- W3031132030 citedByCount "1" @default.
- W3031132030 countsByYear W30311320302021 @default.
- W3031132030 crossrefType "proceedings-article" @default.
- W3031132030 hasAuthorship W3031132030A5006888140 @default.
- W3031132030 hasBestOaLocation W30311320302 @default.
- W3031132030 hasConcept C105795698 @default.
- W3031132030 hasConcept C118615104 @default.
- W3031132030 hasConcept C136119220 @default.
- W3031132030 hasConcept C156772000 @default.
- W3031132030 hasConcept C202444582 @default.
- W3031132030 hasConcept C2524010 @default.
- W3031132030 hasConcept C2781181686 @default.
- W3031132030 hasConcept C28077239 @default.
- W3031132030 hasConcept C2834757 @default.
- W3031132030 hasConcept C33923547 @default.
- W3031132030 hasConcept C41008148 @default.
- W3031132030 hasConcept C49937458 @default.
- W3031132030 hasConcept C51255310 @default.
- W3031132030 hasConceptScore W3031132030C105795698 @default.
- W3031132030 hasConceptScore W3031132030C118615104 @default.
- W3031132030 hasConceptScore W3031132030C136119220 @default.
- W3031132030 hasConceptScore W3031132030C156772000 @default.
- W3031132030 hasConceptScore W3031132030C202444582 @default.
- W3031132030 hasConceptScore W3031132030C2524010 @default.
- W3031132030 hasConceptScore W3031132030C2781181686 @default.
- W3031132030 hasConceptScore W3031132030C28077239 @default.
- W3031132030 hasConceptScore W3031132030C2834757 @default.
- W3031132030 hasConceptScore W3031132030C33923547 @default.
- W3031132030 hasConceptScore W3031132030C41008148 @default.
- W3031132030 hasConceptScore W3031132030C49937458 @default.
- W3031132030 hasConceptScore W3031132030C51255310 @default.
- W3031132030 hasLocation W30311320301 @default.
- W3031132030 hasLocation W303113203010 @default.
- W3031132030 hasLocation W30311320302 @default.
- W3031132030 hasLocation W30311320303 @default.
- W3031132030 hasLocation W30311320304 @default.
- W3031132030 hasLocation W30311320305 @default.
- W3031132030 hasLocation W30311320306 @default.
- W3031132030 hasLocation W30311320307 @default.
- W3031132030 hasLocation W30311320308 @default.
- W3031132030 hasLocation W30311320309 @default.
- W3031132030 hasOpenAccess W3031132030 @default.
- W3031132030 hasPrimaryLocation W30311320301 @default.
- W3031132030 hasRelatedWork W133815982 @default.
- W3031132030 hasRelatedWork W1615487630 @default.
- W3031132030 hasRelatedWork W2776254374 @default.
- W3031132030 hasRelatedWork W2963289085 @default.
- W3031132030 hasRelatedWork W2997091376 @default.
- W3031132030 hasRelatedWork W2997389523 @default.
- W3031132030 hasRelatedWork W4293316580 @default.
- W3031132030 hasRelatedWork W4301079537 @default.
- W3031132030 hasRelatedWork W4378499241 @default.
- W3031132030 hasRelatedWork W95605005 @default.
- W3031132030 isParatext "false" @default.
- W3031132030 isRetracted "false" @default.
- W3031132030 magId "3031132030" @default.
- W3031132030 workType "article" @default.