Matches in SemOpenAlex for { <https://semopenalex.org/work/W2996357532> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2996357532 endingPage "1329" @default.
- W2996357532 startingPage "1301" @default.
- W2996357532 abstract "The ALEA Coq library formalizes measure theory based on a variant of the Giry monad on the category of sets. This enables the interpretation of a probabilistic programming language with primitives for sampling from discrete distributions. However, continuous distributions have to be discretized because the corresponding measures cannot be defined on all subsets of their carriers. This paper proposes the use of synthetic topology to model continuous distributions for probabilistic computations in type theory. We study the initial $sigma$-frame and the corresponding induced topology on arbitrary sets. Based on these intrinsic topologies we define valuations and lower integrals on sets, and prove versions of the Riesz and Fubini theorems. We then show how the Lebesgue valuation, and hence continuous distributions, can be constructed." @default.
- W2996357532 created "2019-12-26" @default.
- W2996357532 creator A5019758872 @default.
- W2996357532 creator A5043123968 @default.
- W2996357532 creator A5059583982 @default.
- W2996357532 date "2021-08-13" @default.
- W2996357532 modified "2023-10-16" @default.
- W2996357532 title "Synthetic topology in Homotopy Type Theory for probabilistic programming" @default.
- W2996357532 cites W1590304156 @default.
- W2996357532 cites W16477519 @default.
- W2996357532 cites W1982261248 @default.
- W2996357532 cites W1990034831 @default.
- W2996357532 cites W1997143185 @default.
- W2996357532 cites W2002685565 @default.
- W2996357532 cites W2023439666 @default.
- W2996357532 cites W2045614673 @default.
- W2996357532 cites W2097055807 @default.
- W2996357532 cites W2123595703 @default.
- W2996357532 cites W2133629640 @default.
- W2996357532 cites W2144063313 @default.
- W2996357532 cites W2168980861 @default.
- W2996357532 cites W2174515752 @default.
- W2996357532 cites W2341132922 @default.
- W2996357532 cites W2533890487 @default.
- W2996357532 cites W2563196418 @default.
- W2996357532 cites W2579485446 @default.
- W2996357532 cites W2949151551 @default.
- W2996357532 cites W2964305797 @default.
- W2996357532 cites W3103277056 @default.
- W2996357532 cites W3123725507 @default.
- W2996357532 cites W3125832933 @default.
- W2996357532 cites W3171292371 @default.
- W2996357532 cites W317646377 @default.
- W2996357532 cites W342302233 @default.
- W2996357532 cites W4301509913 @default.
- W2996357532 doi "https://doi.org/10.1017/s0960129521000165" @default.
- W2996357532 hasPublicationYear "2021" @default.
- W2996357532 type Work @default.
- W2996357532 sameAs 2996357532 @default.
- W2996357532 citedByCount "3" @default.
- W2996357532 countsByYear W29963575322019 @default.
- W2996357532 countsByYear W29963575322020 @default.
- W2996357532 countsByYear W29963575322023 @default.
- W2996357532 crossrefType "journal-article" @default.
- W2996357532 hasAuthorship W2996357532A5019758872 @default.
- W2996357532 hasAuthorship W2996357532A5043123968 @default.
- W2996357532 hasAuthorship W2996357532A5059583982 @default.
- W2996357532 hasBestOaLocation W29963575323 @default.
- W2996357532 hasConcept C105795698 @default.
- W2996357532 hasConcept C114614502 @default.
- W2996357532 hasConcept C118615104 @default.
- W2996357532 hasConcept C136119220 @default.
- W2996357532 hasConcept C156772000 @default.
- W2996357532 hasConcept C184720557 @default.
- W2996357532 hasConcept C202444582 @default.
- W2996357532 hasConcept C33923547 @default.
- W2996357532 hasConcept C33959348 @default.
- W2996357532 hasConcept C49937458 @default.
- W2996357532 hasConceptScore W2996357532C105795698 @default.
- W2996357532 hasConceptScore W2996357532C114614502 @default.
- W2996357532 hasConceptScore W2996357532C118615104 @default.
- W2996357532 hasConceptScore W2996357532C136119220 @default.
- W2996357532 hasConceptScore W2996357532C156772000 @default.
- W2996357532 hasConceptScore W2996357532C184720557 @default.
- W2996357532 hasConceptScore W2996357532C202444582 @default.
- W2996357532 hasConceptScore W2996357532C33923547 @default.
- W2996357532 hasConceptScore W2996357532C33959348 @default.
- W2996357532 hasConceptScore W2996357532C49937458 @default.
- W2996357532 hasIssue "10" @default.
- W2996357532 hasLocation W29963575321 @default.
- W2996357532 hasLocation W29963575322 @default.
- W2996357532 hasLocation W29963575323 @default.
- W2996357532 hasLocation W29963575324 @default.
- W2996357532 hasOpenAccess W2996357532 @default.
- W2996357532 hasPrimaryLocation W29963575321 @default.
- W2996357532 hasRelatedWork W2030598511 @default.
- W2996357532 hasRelatedWork W2115785609 @default.
- W2996357532 hasRelatedWork W2754254730 @default.
- W2996357532 hasRelatedWork W2770491433 @default.
- W2996357532 hasRelatedWork W2964009287 @default.
- W2996357532 hasRelatedWork W3136039576 @default.
- W2996357532 hasRelatedWork W4226430568 @default.
- W2996357532 hasRelatedWork W4296959858 @default.
- W2996357532 hasRelatedWork W4313533159 @default.
- W2996357532 hasRelatedWork W99544092 @default.
- W2996357532 hasVolume "31" @default.
- W2996357532 isParatext "false" @default.
- W2996357532 isRetracted "false" @default.
- W2996357532 magId "2996357532" @default.
- W2996357532 workType "article" @default.