A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658)
From MaRDI portal
scientific article; zbMATH DE number 7400737
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A trustful monad for axiomatic reasoning with probability and nondeterminism |
scientific article; zbMATH DE number 7400737 |
Statements
A trustful monad for axiomatic reasoning with probability and nondeterminism (English)
0 references
24 September 2021
0 references
Coq
0 references
monad
0 references
monadic equational reasoning
0 references
probabilistic choice
0 references
nondeterministic choice
0 references
geometrically convex monad
0 references
convex powerset monad
0 references
0 references
