Publications

No−Go Theorems for Distributive Laws Maaike Zwart and Dan Marsden, In Logical Methods of Computer Science (LMCS), Special Issue: Selected papers of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science. Under review.

On the Non−Compositionality of Monads via Distributive Laws Maaike Zwart, PhD Thesis at the Department of Computer Science‚ University of Oxford. September, 2020. Download pdf.

No−Go Theorems for Distributive Laws Maaike Zwart and Dan Marsden, In 34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019. DOI (10.1109/LICS.2019.8785707)

Quantitative Foundations for Resource Theories Dan Marsden and Maaike Zwart, In 27th EACSL Annual Conference on Computer Science Logic‚ CSL 2018. DOI (10.4230/LIPIcs.CSL.2018.32)

Double Dilation Double Mixing (extended abstract) Maaike Zwart and Bob Coecke, In Proceedings of the 14th International Conference on Quantum Physics and Logic, QPL2017. DOI (10.4204/EPTCS.266.9)