TY  - RPRT
TI  - A Trustful Monad for Axiomatic Reasoning with Probability and Nondeterminism
AU  - Reynald Affeldt
AU  - Jacques Garrigue
AU  - David Nowak
AU  - Takafumi Saikawa
PY  - 2020
DO  - 10.1017/s0956796821000137
UR  - https://arxiv.org/abs/2003.09993
ID  - 2003.09993
ER  -