A trustful monad for axiomatic reasoning with probability and nondeterminism
A trustful monad for axiomatic reasoning with probability and nondeterminism
复制标题
具有概率和非确定性的公理推理的可信单子
DOI：
10.1017/s0956796821000137
复制
发表时间：
2021
影响因子：
1.1
通讯作者：
SAIKAWA TAKAFUMI
中科院分区：
文献类型：
--
作者：
AFFELDT REYNALD;GARRIGUE JACQUES;NOWAK DAVID;SAIKAWA TAKAFUMI
