The Central Valuations Monad - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

The Central Valuations Monad


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 [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.
Fichier principal
Vignette du fichier
LIPIcs-CALCO-2021-18.pdf (530.4 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03258065 , version 1 (11-06-2021)
hal-03258065 , version 2 (29-09-2021)
hal-03258065 , version 3 (02-12-2021)




Xiaodong Jia, Michael Mislove, Vladimir Zamdzhiev. The Central Valuations Monad. CALCO 2021 - 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 2021, Salzburg, Austria. ⟨10.4230/LIPIcs.CALCO.2021.18⟩. ⟨hal-03258065v3⟩
197 View
176 Download



Gmail Mastodon Facebook X LinkedIn More