Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular.

Aliaume Lopez, Alex Simpson

Browse the full CSL paper archive.