Composing Partially Ordered Monads

DOI10.1007/978-3-642-04639-1_7zbMath1267.18005OpenAlexW1518596617MaRDI QIDQ3651510

Robert Helgesson, Patrik E. Eklund

Publication date: 11 December 2009

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04639-1_7

zbMATH Keywords

Kleene algebrapartially ordered monad

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50)

Related Items (2)

Determinisation of relational substitutions in ordered categories with domain ⋮ Monadic extensions of institutions

This page was built for publication: Composing Partially Ordered Monads