scientific article; zbMATH DE number 7774244

DOI10.4230/LIPICS.CALCO.2021.18arXiv2111.10873MaRDI QIDQ6083352FDOQ6083352

Vladimir Zamdzhiev, Michael Mislove, Xiaodong Jia

Publication date: 8 December 2023

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

DCPOrecursionvaluationsprobabilistic choicecommutative monad

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Monads with arities and their associated theories 👍 👎
• The formal theory of monoidal monads 👍 👎
• Leibnizian, Robinsonian, and Boolean valued monads 👍 👎
• Monads and theories 👍 👎
• The monad of the uniform structure and its applications 👍 👎
• From Corecursive Algebras to Corecursive Monads 👍 👎
• Monads of regular theories 👍 👎
• The formal theory of multimonoidal monads 👍 👎

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)