Skip to main content

Dan Marsden : Publications

Click here to download all publications in a single bibtex file

@inproceedings{GogiosoMarsdenCoecke2018,
  title = "Symmetric Monoidal Structure with Local Character is a Property",
  author = "Gogioso, Stefano and Marsden, Dan and Coecke, Bob",
  year = "2019",
  booktitle = "{\rm Proceedings of the 15th International Conference on} Quantum Physics and Logic, {\rm Halifax, Canada, 3-7th June 2018}",
  editor = "Selinger, Peter and Chiribella, Giulio",
  pages = "179-190",
  publisher = "Open Publishing Association",
  series = "Electronic Proceedings in Theoretical Computer Science",
  volume = "287",
  doi = "10.4204/EPTCS.287.10",
}
@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",
}
@article{ZwartMarsden2018,
  title = "Don't Try This at Home: No-Go Theorems for Distributive Laws",
  author = "Maaike Zwart and Dan Marsden",
  year = "2018",
  journal = "CoRR",
  url = "http://arxiv.org/abs/1811.06460",
  volume = "abs/1811.06460",
}
@article{CoeckeGenoveseLewisMarsdenToumi2017,
  title = "Generalized relations in linguistics {\&} cognition",
  author = "Bob Coecke and Fabrizio Genovese and Martha Lewis and Dan Marsden and Alexis Toumi",
  year = "2018",
  journal = "Theor. Comput. Sci.",
  pages = "104--115",
  volume = "752",
  doi = "10.1016/j.tcs.2018.03.008",
}
@article{BankovaCoeckeLewisMarsden2017,
  title = "Graded hyponymy for compositional distributional semantics",
  author = "Dea Bankova and Bob Coecke and Martha Lewis and Dan Marsden",
  year = "2018",
  journal = "J. Language Modelling",
  number = "2",
  pages = "225--260",
  url = "https://doi.org/10.15398/jlm.v6i2.230",
  volume = "6",
  doi = "10.15398/jlm.v6i2.230",
}
@inproceedings{CoeckeFeliceMarsdenToumi2018,
  title = "Towards Compositional Distributional Discourse Analysis",
  author = "Bob Coecke and Giovanni de Felice and Dan Marsden and Alexis Toumi",
  year = "2018",
  booktitle = "Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018",
  editor = "Martha Lewis and Bob Coecke and Jules Hedges and Dimitri Kartsaklis and Dan Marsden",
  pages = "1--12",
  series = "{EPTCS}",
  volume = "283",
  doi = "10.4204/EPTCS.283",
}
@inproceedings{CoeckeLewisMarsden2018,
  title = "Internal Wiring of {C}artesian Verbs and Prepositions",
  author = "Bob Coecke and Martha Lewis and Dan Marsden",
  year = "2018",
  booktitle = "Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018",
  editor = "Martha Lewis and Bob Coecke and Jules Hedges and Dimitri Kartsaklis and Dan Marsden",
  pages = "75--88",
  series = "{EPTCS}",
  volume = "283",
  doi = "10.4204/EPTCS.283",
}
@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{GogiosoMarsdenGenovesePiedeleuCoecke2017,
  title = "Uniqueness of Composition in Quantum Theory and Linguistics",
  author = "Coecke, B. and Genovese, F. and Gogioso, S. and Marsden, D. and Piedeleu, R.",
  year = "2018",
  booktitle = "{\rm Proceedings 14th International Conference on} Quantum Physics and Logic, {\rm Nijmegen, The Netherlands, 3-7 July 2017}",
  editor = "Coecke, B.and Kissinger, A.",
  pages = "249-257",
  publisher = "Open Publishing Association",
  series = "Electronic Proceedings in Theoretical Computer Science",
  volume = "266",
}
@incollection{BoltCoeckeGenoveseLewisMarsdenPiedeleu2017b,
  title = "Interacting Conceptual Spaces {I}: Grammatical Composition of Concepts",
  author = "J. Bolt and B. Coecke and F. Genovese and M. Lewis and D. Marsden and R. Piedeleu",
  year = "2018",
  booktitle = "Conceptual spaces: Elaborations and applications",
  editor = "M. Kaipainen and A. Hautam\"aki and P. G\"ardenfors and F. Zenker",
  publisher = "Springer",
  series = "Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science",
  url = "https://arxiv.org/abs/1703.08314",
}
@inproceedings{CoeckeGenoveseLewisMarsden2017,
  title = "Generalized Relations in Linguistics and Cognition",
  author = "B. Coecke and F. Genovese and M. Lewis and D. Marsden",
  year = "2017",
  booktitle = "Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings",
  editor = "Juliette Kennedy and Ruy J. G. B. de Queiroz",
  pages = "256--270",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "10388",
}
@inproceedings{MarsdenGenovese2017,
  title = "Custom Hypergraph Categories via Generalized Relations",
  author = "D. Marsden and F. Genovese",
  year = "2017",
  booktitle = "7th Conference on Algebra and Coalgebra in Computer Science, {CALCO} 2017, June 12-16, 2017, Ljubljana, Slovenia",
  pages = "17:1--17:16",
}
@inproceedings{Marsden2017,
  title = "Ambiguity and Incomplete Information in Categorical Models of Language",
  author = "Marsden, D.",
  year = "2017",
  booktitle = "Proceedings 13th International Conference on Quantum Physics and Logic, Glasgow, Scotland, 6-10 June 2016",
  editor = "Duncan, R. and Heunen, C.",
  pages = "95-107",
  publisher = "Open Publishing Association",
  series = "{EPTCS}",
  volume = "236",
  doi = "10.4204/EPTCS.236.7",
}
@inbook{HinzeMarsden2016,
  title = "Dragging Proofs Out of Pictures",
  author = "Hinze, R. and Marsden, D.",
  year = "2016",
  address = "Cham",
  booktitle = "A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday",
  editor = "Lindley, S. and McBride, C. and Trinder, P. and Sannella, D.",
  isbn = "978-3-319-30936-1",
  pages = "152--168",
  publisher = "Springer International Publishing",
  url = "http://dx.doi.org/10.1007/978-3-319-30936-1_8",
  doi = "10.1007/978-3-319-30936-1_8",
}
@article{HinzeMarsde2016b,
  title = "Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers",
  author = "R. Hinze and D. Marsden",
  year = "2016",
  journal = "J. Log. Algebr. Meth. Program.",
  number = "5",
  pages = "931--951",
  url = "http://dx.doi.org/10.1016/j.jlamp.2015.12.004",
  volume = "85",
  doi = "10.1016/j.jlamp.2015.12.004",
}
@inproceedings{BoltCoeckeGenoveseLewisMarsdenPiedeleu2016,
  title = "Interacting Conceptual Spaces",
  author = "J. Bolt and B. Coecke and F. Genovese and M. Lewis and D. Marsden and R. Piedeleu",
  year = "2016",
  booktitle = "Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, SLPCS@QPL 2016, Glasgow, Scotland, 11th June 2016",
  editor = "D. Kartsaklis and M. Lewis and L. Rimell",
  pages = "11--19",
  series = "{EPTCS}",
  url = "http://dx.doi.org/10.4204/EPTCS.221",
  volume = "221",
  doi = "10.4204/EPTCS.221",
}
@inproceedings{Marsden2015,
  title = "A Graph Theoretic Perspective on {CPM(Rel)}",
  author = "D. Marsden",
  year = "2015",
  booktitle = "Proceedings 12th International Workshop on Quantum Physics and Logic, {QPL} 2015, Oxford, UK, July 15-17, 2015",
  editor = "C. Heunen and P. Selinger and J. Vicary",
  pages = "273--284",
  series = "{EPTCS}",
  url = "http://dx.doi.org/10.4204/EPTCS.195",
  volume = "195",
  doi = "10.4204/EPTCS.195",
}
@phdthesis{Marsden2015,
  title = "Logical aspects of quantum computation",
  author = "D. Marsden",
  year = "2015",
  school = "University of Oxford",
  url = "http://ora.ox.ac.uk/objects/uuid:e99331a3-9d93-4381-8075-ad843fb9b77c",
}
@article{DBLP:journals/corr/Marsden14,
  title = "Category Theory Using String Diagrams",
  author = "D. Marsden",
  year = "2014",
  journal = "CoRR",
  note = "arXiv preprint",
  url = "http://arxiv.org/abs/1401.7220",
  volume = "abs/1401.7220",
}
@inproceedings{Marsden2014a,
  title = "Fibred Coalgebraic Logic and Quantum Protocols",
  author = "D. Marsden",
  year = "2014",
  booktitle = "Proceedings of the 10th International Workshop on Quantum Physics and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013",
  editor = "B. Coecke and M. J. Hoban",
  pages = "90--99",
  series = "{EPTCS}",
  url = "http://dx.doi.org/10.4204/EPTCS.171",
  volume = "171",
  doi = "10.4204/EPTCS.171",
}
@inproceedings{Marsden2013,
  title = "Coalgebras with Symmetries and Modelling Quantum Systems",
  author = "D. Marsden",
  year = "2013",
  booktitle = "Algebra and Coalgebra in Computer Science - 5th International Conference, {CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings",
  editor = "R. Heckel and S. Milius",
  pages = "205--219",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-40206-7",
  volume = "8089",
  doi = "10.1007/978-3-642-40206-7",
}
@mastersthesis{Marsden2010,
  title = "Comparing Intuitionistic Quantum Logics: From Orthomodular Lattices to Frames",
  author = "D. Marsden",
  year = "2010",
  school = "University of Oxford",
}