The Central Valuations Monad - Archive ouverte HAL Access content directly
Conference Papers Year :

The Central Valuations Monad

(1) , (2) , (3)
1
2
3

Abstract

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)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

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⟩
191 View
157 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More