Pages that link to "Item:Q2942780"
From MaRDI portal
The following pages link to Dijkstra Monads in Monadic Computation (Q2942780):
Displaying 6 items.
- The expectation monad in quantum foundations (Q320204) (← links)
- Generic weakest precondition semantics from monads enriched with order (Q890376) (← links)
- Dijkstra and Hoare monads in monadic computation (Q890377) (← links)
- Total and Partial Computation in Categorical Quantum Foundations (Q5015192) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- A Recipe for State-and-Effect Triangles (Q5275347) (← links)