scientific article; zbMATH DE number 7774244

DOI10.4230/LIPICS.CALCO.2021.18MaRDI QIDQ6083352zbMATH OpenFDO

Authors Xiaodong Jia, Michael Mislove, Vladimir Zamdzhiev

Publication date 8 December 2023

Full work available at URL https://arxiv.org/abs/2111.10873

zbMATH Keywords

commutative monadDCPOprobabilistic choicerecursionvaluations

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Leibnizian, Robinsonian, and Boolean valued monads
• scientific article; zbMATH DE number 5585079
• The formal theory of monoidal monads
• The formal theory of multimonoidal monads
• Monads and theories
• The monad of the uniform structure and its applications
• From corecursive algebras to corecursive monads
• Monads with arities and their associated theories
• scientific article; zbMATH DE number 4097364
• Monads of regular theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6083352)