Login / Signup

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

Aliaume LopezAlex Simpson
Published in: CSL (2018)
Keyphrases