@phdthesis{MaaikeZwartDPhilThesis, title = "On the Non-Compositionality of Monads via Distributive Laws", author = "Maaike Zwart", year = "2020", month = "September", school = "Department of Computer Science, University of Oxford", } @misc{zwart2020nogo, title = "No-Go Theorems for Distributive Laws", author = "Maaike Zwart and Dan Marsden", year = "2020", } @inproceedings{ZwartMarsden2019, title = "No-Go Theorems for Distributive Laws", author = "Maaike Zwart and Dan Marsden", year = "2019", booktitle = "34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019", isbn = "978-1-7281-3608-0", pages = "1--13", publisher = "{IEEE}", url = "https://ieeexplore.ieee.org/xpl/conhome/8765678/proceeding", doi = "10.1109/LICS.2019.8785707", } @inproceedings{MarsdenZwart2018b, title = "Quantitative Foundations for Resource Theories", author = "Dan Marsden and Maaike Zwart", year = "2018", booktitle = "27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018, September 4-7, 2018, Birmingham, {UK}", editor = "Dan R. Ghica and Achim Jung", isbn = "978-3-95977-088-0", pages = "32:1--32:17", publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik", series = "LIPIcs", url = "http://www.dagstuhl.de/dagpub/978-3-95977-088-0", volume = "119", doi = "10.4230/LIPIcs.CSL.2018.32", } @inproceedings{EPTCS266.9, title = "Double Dilation $\neq$ Double Mixing (extended abstract)", author = "Zwart, Maaike and Coecke, Bob", year = "2018", booktitle = "{\rm Proceedings 14th International Conference on} Quantum Physics and Logic, {\rm Nijmegen, The Netherlands, 3-7 July 2017}", editor = "Coecke, Bob and Kissinger, Aleks", pages = "133-146", publisher = "Open Publishing Association", series = "Electronic Proceedings in Theoretical Computer Science", volume = "266", doi = "10.4204/EPTCS.266.9", }