AI 中文总结
提出基于非结合幺半群magmads的do-notation元语言，推导因果概率编程构造，实现因果概率编程的新途径。
AI 中文摘要
我们提出一种用于因果概率编程的do-notation元语言，该语言基于非结合幺半群magmads，从其非结合性与概率编程原语中推导因果概率编程构造。
英文摘要
We introduce a do-notation metalanguage for causal probabilistic programming. The metalanguage is based on magmads: non-associative monads. We derive causal probabilistic programming constructs from non-associativity and the primitives of probabilistic programming.
Comments11 pages
