Q6083352
type: Item
instance of: scholarly article
arXiv ID: 2111.10873
author: Xiaodong Jia
author: Michael Mislove
author: Vladimir Zamdzhiev
publication date: 2023-12-08T00:00:00Z
full work available at URL: https://arxiv.org/abs/2111.10873
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7774244
zbMATH Keywords: valuations
zbMATH Keywords: commutative monad
zbMATH Keywords: DCPO
zbMATH Keywords: probabilistic choice
zbMATH Keywords: recursion
MaRDI profile type: MaRDI publication profile
DOI: 10.4230/LIPICS.CALCO.2021.18
Recommended article: Leibnizian, Robinsonian, and Boolean valued monads
Recommended article: Q5322727
Recommended article: The formal theory of monoidal monads
Recommended article: The formal theory of multimonoidal monads
Recommended article: Monads and theories
Recommended article: The monad of the uniform structure and its applications
Recommended article: From Corecursive Algebras to Corecursive Monads
Recommended article: Monads with arities and their associated theories
Recommended article: Q3824405
Recommended article: Monads of regular theories
description: scientific article; zbMATH DE number 7774244