Maaike Zwart : Publications

Click here to download all publications in a single bibtex file

@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",
}