Skip to content

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

Alexandre Goy, Daniela Petrisan

VenueA*LICS
Year2020
ProceedingsLICS

Browse the full LICS paper archive.