Login / Signup

Combining probabilistic and non-deterministic choice via weak distributive laws.

Alexandre GoyDaniela Petrisan
Published in: LICS (2020)
Keyphrases