Shades of iteration: from Elgot to Kleene
From MaRDI portal
Publication:6562517
DOI10.1007/978-3-031-43345-0_5MaRDI QIDQ6562517
Publication date: 26 June 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Equational properties of iterative monads
- Kleene getting lazy
- Differential dynamic logic for hybrid systems
- A completeness theorem for Kleene algebras and the algebra of regular events
- Coalgebras and monads in the semantics of Java
- On the complexity of reasoning in Kleene algebra
- A fixpoint theorem for complete categories
- Strong functors and monoidal monads
- Postulates for the barycentric calculus
- The uniformity principle on traced monoidal categories
- Kleene Monads: Handling Iteration in a Framework of Generic Effects
- Kleene Algebra with Products and Iteration Theories
- Unifying Guarded and Unguarded Iteration
- On Probabilistic Kleene Algebras, Automata and Simulations
- Concurrent Kleene Algebra
- Relational Semantics for Higher-Order Programs
- Filter Monads, Continuous Lattices and Closure Systems
- A Powerdomain Construction
- Traced monoidal categories
- On Kleene Algebras for Weighted Computation
- Distributing probability over non-determinism
- Affine Monads and Side-Effect-Freeness
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
This page was built for publication: Shades of iteration: from Elgot to Kleene
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6562517)
