Combining probabilistic and non-deterministic choice via weak distributive laws Article Swipe

monad (category theory) distributive property denotational semantics probabilistic logic determinism mathematics semantics (computer science) trace (psycholinguistics) regular polygon pure mathematics algebra over a field computer science programming language operational semantics functor linguistics epistemology philosophy statistics geometry