Pages that link to "Item:Q5271043"
From MaRDI portal
The following pages link to Measurable Spaces and Their Effect Logic (Q5271043):
Displaying 15 items.
- On block structures in quantum computation (Q265814) (← links)
- 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)
- From probability monads to commutative effectuses (Q1683710) (← links)
- Stick breaking, in coalgebra and probability (Q2104486) (← links)
- Congruences of convex algebras. (Q2341527) (← links)
- Continuity as a computational effect (Q2374315) (← links)
- Haar measure and integral logic (Q2910983) (← links)
- A Type Theory for Probabilistic and Bayesian Reasoning (Q4580222) (← links)
- (Q5015193) (← links)
- (Q5020637) (← links)
- A channel-based perspective on conjugate priors (Q5220182) (← links)
- Affine Monads and Side-Effect-Freeness (Q5739449) (← links)
- An effect-theoretic account of Lebesgue integration (Q5971402) (← links)