Commutative semantics for probabilistic programming by Staton, S

“…It has been unclear whether probabilistic programs are commutative because it is well-known that Fubini-Tonelli theorems for reordering integration fail in general. …”