Maaike Zwart : Publications
-
[1]
On the Non−Compositionality of Monads via Distributive Laws
Maaike Zwart
PhD Thesis Department of Computer Science‚ University of Oxford. September, 2020.
Details about On the Non−Compositionality of Monads via Distributive Laws | BibTeX data for On the Non−Compositionality of Monads via Distributive Laws | Download (pdf) of On the Non−Compositionality of Monads via Distributive Laws
-
[2]
No−Go Theorems for Distributive Laws
Maaike Zwart and Dan Marsden
2020.
Details about No−Go Theorems for Distributive Laws | BibTeX data for No−Go Theorems for Distributive Laws
-
[3]
No−Go Theorems for Distributive Laws
Maaike Zwart and Dan Marsden
In 34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019. Pages 1–13. IEEE. 2019.
Details about No−Go Theorems for Distributive Laws | BibTeX data for No−Go Theorems for Distributive Laws | DOI (10.1109/LICS.2019.8785707) | Link to No−Go Theorems for Distributive Laws
-
[4]
Quantitative Foundations for Resource Theories
Dan Marsden and Maaike Zwart
In Dan R. Ghica and Achim Jung, editors, 27th EACSL Annual Conference on Computer Science Logic‚ CSL 2018‚ September 4−7‚ 2018‚ Birmingham‚ UK. Vol. 119 of LIPIcs. Pages 32:1–32:17. Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik. 2018.
Details about Quantitative Foundations for Resource Theories | BibTeX data for Quantitative Foundations for Resource Theories | DOI (10.4230/LIPIcs.CSL.2018.32) | Link to Quantitative Foundations for Resource Theories
-
[5]
Double Dilation Double Mixing (extended abstract)
Maaike Zwart and Bob Coecke
In Bob Coecke and Aleks Kissinger, editors, Proceedings 14th International Conference on Quantum Physics and Logic‚ Nijmegen‚ The Netherlands‚ 3−7 July 2017. Vol. 266 of Electronic Proceedings in Theoretical Computer Science. Pages 133−146. Open Publishing Association. 2018.
Details about Double Dilation Double Mixing (extended abstract) | BibTeX data for Double Dilation Double Mixing (extended abstract) | DOI (10.4204/EPTCS.266.9)