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