Pages that link to "Item:Q2888474"
From MaRDI portal
The following pages link to Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474):
Displaying 5 items.
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Iteration and labelled iteration (Q1744383) (← links)
- A divertimento on MonadPlus and nondeterminism (Q2374316) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Shades of iteration: from Elgot to Kleene (Q6562517) (← links)
