Unguarded recursion on coinductive resumptions
From MaRDI portal
Recommendations
Cites work
- A coinductive calculus for asynchronous side-effecting processes
- A note on Coinduction and Weak Bisimilarity for While Programs
- Abstract GSOS rules and a modular treatment of recursive definitions
- Algebraically compact functors
- Combining effects: sum and tensor
- Complete Elgot monads and coalgebraic resumptions
- Discrete Lawvere theories and computational effects
- Elgot Algebras
- Elgot theories: a new perspective on the equational properties of iteration
- Equational properties of iterative monads
- Fixed-point constructions in order-enriched categories
- Generalizing Substitution
- Handbook of process algebra
- Handling algebraic effects
- scientific article; zbMATH DE number 3751225 (Why is no real title available?)
- scientific article; zbMATH DE number 517046 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1952947 (Why is no real title available?)
- scientific article; zbMATH DE number 2087441 (Why is no real title available?)
- scientific article; zbMATH DE number 233974 (Why is no real title available?)
- Infinite trees and completely iterative theories: A coalgebraic view
- Introduction to distributive categories
- Introduction to extensive and distributive categories
- Iterative algebras: how iterative are they?
- Monads for behaviour
- Nominal sets. Names and symmetry in computer science
- Notions of computation and monads
- Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
- Recursion and corecursion have the same equational logic
- Strong functors and monoidal monads
- The coinductive resumption monad
- Unguarded recursion on coinductive resumptions
- Unifying guarded and unguarded iteration
Cited in
(13)- Complete Elgot monads and coalgebraic resumptions
- The coinductive resumption monad
- A coinductive calculus for asynchronous side-effecting processes
- A coinductive calculus for asynchronous side-effecting processes
- scientific article; zbMATH DE number 7080198 (Why is no real title available?)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot
- A metalanguage for guarded iteration
- Unguarded recursion on coinductive resumptions
- Shades of iteration: from Elgot to Kleene
- Representing guardedness in call-by-value and guarded parametrized monads
- Towards constructive hybrid semantics
- A unifying categorical view of nondeterministic iteration and tests
- Uniform Elgot iteration in foundations
This page was built for publication: Unguarded recursion on coinductive resumptions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4585073)
