36 citations · 80 across the 8 of their papers we have counts for
1 paper · 1 filter
Bart Jacobs, Jorik Mandemaker
The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures. It turns out to sit in between known monads: on the one hand the di…