The Central Valuations Monad - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

The Central Valuations Monad

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Licence

Paternité

Identifiants

Citer

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⟩
193 Consultations
173 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More