Matches in SemOpenAlex for { <https://semopenalex.org/work/W3030204524> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W3030204524 abstract "In probabilistic coherence spaces, a denotational model of probabilistic functional languages, morphisms are analytic and therefore smooth. We explore two related applications of the corresponding derivatives. First we show how derivatives allow to compute the expectation of execution time in the weak head reduction of probabilistic PCF (pPCF). Next we apply a general notion of local differential of morphisms to the proof of a Lipschitz property of these morphisms allowing in turn to relate the observational distance on pPCF terms to a distance the model is naturally equipped with. This suggests that extending probabilistic programming languages with derivatives, in the spirit of the differential lambda-calculus, could be quite meaningful." @default.
- W3030204524 created "2020-06-05" @default.
- W3030204524 creator A5006888140 @default.
- W3030204524 date "2020-05-23" @default.
- W3030204524 modified "2023-10-18" @default.
- W3030204524 title "DIFFERENTIALS AND DISTANCES IN PROBABILISTIC COHERENCE SPACES (EXTENDED VERSION)" @default.
- W3030204524 cites W1532754343 @default.
- W3030204524 cites W1965630431 @default.
- W3030204524 cites W2102548545 @default.
- W3030204524 cites W2106143913 @default.
- W3030204524 cites W2156942472 @default.
- W3030204524 cites W2158542561 @default.
- W3030204524 cites W2206718322 @default.
- W3030204524 cites W2512575065 @default.
- W3030204524 cites W2595263283 @default.
- W3030204524 cites W2798278864 @default.
- W3030204524 cites W2799180001 @default.
- W3030204524 cites W2962743500 @default.
- W3030204524 cites W2963573740 @default.
- W3030204524 cites W2964032597 @default.
- W3030204524 cites W2999992827 @default.
- W3030204524 cites W3105658135 @default.
- W3030204524 cites W58260654 @default.
- W3030204524 hasPublicationYear "2020" @default.
- W3030204524 type Work @default.
- W3030204524 sameAs 3030204524 @default.
- W3030204524 citedByCount "0" @default.
- W3030204524 crossrefType "posted-content" @default.
- W3030204524 hasAuthorship W3030204524A5006888140 @default.
- W3030204524 hasBestOaLocation W30302045241 @default.
- W3030204524 hasConcept C105795698 @default.
- W3030204524 hasConcept C121332964 @default.
- W3030204524 hasConcept C121864883 @default.
- W3030204524 hasConcept C2781181686 @default.
- W3030204524 hasConcept C33923547 @default.
- W3030204524 hasConcept C49937458 @default.
- W3030204524 hasConceptScore W3030204524C105795698 @default.
- W3030204524 hasConceptScore W3030204524C121332964 @default.
- W3030204524 hasConceptScore W3030204524C121864883 @default.
- W3030204524 hasConceptScore W3030204524C2781181686 @default.
- W3030204524 hasConceptScore W3030204524C33923547 @default.
- W3030204524 hasConceptScore W3030204524C49937458 @default.
- W3030204524 hasLocation W30302045241 @default.
- W3030204524 hasLocation W30302045242 @default.
- W3030204524 hasLocation W30302045243 @default.
- W3030204524 hasOpenAccess W3030204524 @default.
- W3030204524 hasPrimaryLocation W30302045241 @default.
- W3030204524 hasRelatedWork W1965207337 @default.
- W3030204524 hasRelatedWork W2016832572 @default.
- W3030204524 hasRelatedWork W2055926888 @default.
- W3030204524 hasRelatedWork W2065729344 @default.
- W3030204524 hasRelatedWork W2067282252 @default.
- W3030204524 hasRelatedWork W2077782069 @default.
- W3030204524 hasRelatedWork W2080730973 @default.
- W3030204524 hasRelatedWork W2120405545 @default.
- W3030204524 hasRelatedWork W2911610788 @default.
- W3030204524 hasRelatedWork W3100271442 @default.
- W3030204524 isParatext "false" @default.
- W3030204524 isRetracted "false" @default.
- W3030204524 magId "3030204524" @default.
- W3030204524 workType "article" @default.