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