2026-07-26T01:03:46Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:15373 2024-03-06T10:55:15Z ddc:004 open_access

The Central Valuations Monad (Early Ideas) Jia, Xiaodong Mislove, Michael Zamdzhiev, Vladimir Valuations Commutative Monad DCPO Probabilistic Choice Recursion We give a commutative valuations monad Z on the category DCPO of dcpo’s and Scott-continuous functions. Compared to the commutative valuations monads given in [Xiaodong Jia et al., 2021], our new monad Z is larger and it contains all push-forward images of valuations on the unit interval [0, 1] along lower semi-continuous maps. We believe that this new monad will be useful in giving domain-theoretic denotational semantics for statistical programming languages with continuous probabilistic choice. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Xiaodong Jia and Michael Mislove and Vladimir Zamdzhiev 2021 Is Part Of LIPIcs, Volume 211, 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2021.18 urn:nbn:de:0030-drops-153733 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2021.18 eng https://creativecommons.org/licenses/by/4.0/legalcode