The following pages link to A monad for randomized algorithms (Q1744376):
Displaying 5 items.
- A mathematical theory of randomized computation. I (Q1111027) (← links)
- Discrete random variables over domains, revisited (Q1708717) (← links)
- (Q4611384) (← links)
- A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)
- Automata, Languages and Programming (Q5716848) (← links)