Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
- Publication date
- 1 January 2018
- Publisher
- LIPIcs - Leibniz International Proceedings in Informatics. 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)