Dan Marsden : Publications

Book chapters

• [1]

  Interacting Conceptual Spaces I: Grammatical Composition of Concepts

  J. Bolt‚ B. Coecke‚ F. Genovese‚ M. Lewis‚ D. Marsden and R. Piedeleu

  In M. Kaipainen‚ A. Hautamäki‚ P. Gärdenfors and F. Zenker, editors, Conceptual spaces: Elaborations and applications. Springer. 2018.

  Details about Interacting Conceptual Spaces I: Grammatical Composition of Concepts | BibTeX data for Interacting Conceptual Spaces I: Grammatical Composition of Concepts | Link to Interacting Conceptual Spaces I: Grammatical Composition of Concepts

• [2]

  Dragging Proofs Out of Pictures

  R. Hinze and D. Marsden

  In S. Lindley‚ C. McBride‚ P. Trinder and D. Sannella, editors, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Pages 152–168. Springer International Publishing, Cham. 2016.

  Details about Dragging Proofs Out of Pictures | BibTeX data for Dragging Proofs Out of Pictures | DOI (10.1007/978-3-319-30936-1_8) | Link to Dragging Proofs Out of Pictures

Journal papers

• [1]

  Don't Try This at Home: No−Go Theorems for Distributive Laws

  Maaike Zwart and Dan Marsden

  In CoRR. Vol. abs/1811.06460. 2018.

  Details about Don't Try This at Home: No−Go Theorems for Distributive Laws | BibTeX data for Don't Try This at Home: No−Go Theorems for Distributive Laws | Link to Don't Try This at Home: No−Go Theorems for Distributive Laws

• [2]

  Generalized relations in linguistics & cognition

  Bob Coecke‚ Fabrizio Genovese‚ Martha Lewis‚ Dan Marsden and Alexis Toumi

  In Theor. Comput. Sci.. Vol. 752. Pages 104–115. 2018.

  Details about Generalized relations in linguistics & cognition | BibTeX data for Generalized relations in linguistics & cognition | DOI (10.1016/j.tcs.2018.03.008)

• [3]

  Graded hyponymy for compositional distributional semantics

  Dea Bankova‚ Bob Coecke‚ Martha Lewis and Dan Marsden

  In J. Language Modelling. Vol. 6. No. 2. Pages 225–260. 2018.

  Details about Graded hyponymy for compositional distributional semantics | BibTeX data for Graded hyponymy for compositional distributional semantics | DOI (10.15398/jlm.v6i2.230) | Link to Graded hyponymy for compositional distributional semantics

• [4]

  Equational reasoning with lollipops‚ forks‚ cups‚ caps‚ snakes‚ and speedometers

  R. Hinze and D. Marsden

  In J. Log. Algebr. Meth. Program.. Vol. 85. No. 5. Pages 931–951. 2016.

  Details about Equational reasoning with lollipops‚ forks‚ cups‚ caps‚ snakes‚ and speedometers | BibTeX data for Equational reasoning with lollipops‚ forks‚ cups‚ caps‚ snakes‚ and speedometers | DOI (10.1016/j.jlamp.2015.12.004) | Link to Equational reasoning with lollipops‚ forks‚ cups‚ caps‚ snakes‚ and speedometers

• [5]

  Category Theory Using String Diagrams

  D. Marsden

  In CoRR. Vol. abs/1401.7220. 2014.

  arXiv preprint

  Details about Category Theory Using String Diagrams | BibTeX data for Category Theory Using String Diagrams | Link to Category Theory Using String Diagrams

Conference papers

• [1]

  Symmetric Monoidal Structure with Local Character is a Property

  Stefano Gogioso‚ Dan Marsden and Bob Coecke

  In Peter Selinger and Giulio Chiribella, editors, Proceedings of the 15th International Conference on Quantum Physics and Logic‚ Halifax‚ Canada‚ 3−7th June 2018. Vol. 287 of Electronic Proceedings in Theoretical Computer Science. Pages 179−190. Open Publishing Association. 2019.

  Details about Symmetric Monoidal Structure with Local Character is a Property | BibTeX data for Symmetric Monoidal Structure with Local Character is a Property | DOI (10.4204/EPTCS.287.10)

• [2]

  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

• [3]

  Towards Compositional Distributional Discourse Analysis

  Bob Coecke‚ Giovanni de Felice‚ Dan Marsden and Alexis Toumi

  In Martha Lewis‚ Bob Coecke‚ Jules Hedges‚ Dimitri Kartsaklis and Dan Marsden, editors, Proceedings of the 2018 Workshop on Compositional Approaches in Physics‚ NLP‚ and Social Sciences‚ CAPNS@QI 2018‚ Nice‚ France‚ 2nd−3rd September 2018. Vol. 283 of EPTCS. Pages 1–12. 2018.

  Details about Towards Compositional Distributional Discourse Analysis | BibTeX data for Towards Compositional Distributional Discourse Analysis | DOI (10.4204/EPTCS.283)

• [4]

  Internal Wiring of Cartesian Verbs and Prepositions

  Bob Coecke‚ Martha Lewis and Dan Marsden

  In Martha Lewis‚ Bob Coecke‚ Jules Hedges‚ Dimitri Kartsaklis and Dan Marsden, editors, Proceedings of the 2018 Workshop on Compositional Approaches in Physics‚ NLP‚ and Social Sciences‚ CAPNS@QI 2018‚ Nice‚ France‚ 2nd−3rd September 2018. Vol. 283 of EPTCS. Pages 75–88. 2018.

  Details about Internal Wiring of Cartesian Verbs and Prepositions | BibTeX data for Internal Wiring of Cartesian Verbs and Prepositions | DOI (10.4204/EPTCS.283)

• [5]

  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

• [6]

  Uniqueness of Composition in Quantum Theory and Linguistics

  B. Coecke‚ F. Genovese‚ S. Gogioso‚ D. Marsden and R. Piedeleu

  In A. Coecke B.and Kissinger, editor, 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 249−257. Open Publishing Association. 2018.

  Details about Uniqueness of Composition in Quantum Theory and Linguistics | BibTeX data for Uniqueness of Composition in Quantum Theory and Linguistics

• [7]

  Generalized Relations in Linguistics and Cognition

  B. Coecke‚ F. Genovese‚ M. Lewis and D. Marsden

  In Juliette Kennedy and Ruy J. G. B. de Queiroz, editors, Logic‚ Language‚ Information‚ and Computation − 24th International Workshop‚ WoLLIC 2017‚ London‚ UK‚ July 18−21‚ 2017‚ Proceedings. Vol. 10388 of Lecture Notes in Computer Science. Pages 256–270. Springer. 2017.

  Details about Generalized Relations in Linguistics and Cognition | BibTeX data for Generalized Relations in Linguistics and Cognition

• [8]

  Custom Hypergraph Categories via Generalized Relations

  D. Marsden and F. Genovese

  In 7th Conference on Algebra and Coalgebra in Computer Science‚ CALCO 2017‚ June 12−16‚ 2017‚ Ljubljana‚ Slovenia. Pages 17:1–17:16. 2017.

  Details about Custom Hypergraph Categories via Generalized Relations | BibTeX data for Custom Hypergraph Categories via Generalized Relations

• [9]

  Ambiguity and Incomplete Information in Categorical Models of Language

  D. Marsden

  In R. Duncan and C. Heunen, editors, Proceedings 13th International Conference on Quantum Physics and Logic‚ Glasgow‚ Scotland‚ 6−10 June 2016. Vol. 236 of EPTCS. Pages 95−107. Open Publishing Association. 2017.

  Details about Ambiguity and Incomplete Information in Categorical Models of Language | BibTeX data for Ambiguity and Incomplete Information in Categorical Models of Language | DOI (10.4204/EPTCS.236.7)

• [10]

  Interacting Conceptual Spaces

  J. Bolt‚ B. Coecke‚ F. Genovese‚ M. Lewis‚ D. Marsden and R. Piedeleu

  In D. Kartsaklis‚ M. Lewis and L. Rimell, editors, 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. Vol. 221 of EPTCS. Pages 11–19. 2016.

  Details about Interacting Conceptual Spaces | BibTeX data for Interacting Conceptual Spaces | DOI (10.4204/EPTCS.221) | Link to Interacting Conceptual Spaces

• [11]

  A Graph Theoretic Perspective on CPM(Rel)

  D. Marsden

  In C. Heunen‚ P. Selinger and J. Vicary, editors, Proceedings 12th International Workshop on Quantum Physics and Logic‚ QPL 2015‚ Oxford‚ UK‚ July 15−17‚ 2015. Vol. 195 of EPTCS. Pages 273–284. 2015.

  Details about A Graph Theoretic Perspective on CPM(Rel) | BibTeX data for A Graph Theoretic Perspective on CPM(Rel) | DOI (10.4204/EPTCS.195) | Link to A Graph Theoretic Perspective on CPM(Rel)

• [12]

  Fibred Coalgebraic Logic and Quantum Protocols

  D. Marsden

  In B. Coecke and M. J. Hoban, editors, Proceedings of the 10th International Workshop on Quantum Physics and Logic‚ QPL 2013‚ Castelldefels (Barcelona)‚ Spain‚ July 17−19‚ 2013. Vol. 171 of EPTCS. Pages 90–99. 2014.

  Details about Fibred Coalgebraic Logic and Quantum Protocols | BibTeX data for Fibred Coalgebraic Logic and Quantum Protocols | DOI (10.4204/EPTCS.171) | Link to Fibred Coalgebraic Logic and Quantum Protocols

• [13]

  Coalgebras with Symmetries and Modelling Quantum Systems

  D. Marsden

  In R. Heckel and S. Milius, editors, Algebra and Coalgebra in Computer Science − 5th International Conference‚ CALCO 2013‚ Warsaw‚ Poland‚ September 3−6‚ 2013. Proceedings. Vol. 8089 of Lecture Notes in Computer Science. Pages 205–219. Springer. 2013.

  Details about Coalgebras with Symmetries and Modelling Quantum Systems | BibTeX data for Coalgebras with Symmetries and Modelling Quantum Systems | DOI (10.1007/978-3-642-40206-7) | Link to Coalgebras with Symmetries and Modelling Quantum Systems

Theses

• [1]

  Logical aspects of quantum computation

  D. Marsden

  PhD Thesis University of Oxford. 2015.

  Details about Logical aspects of quantum computation | BibTeX data for Logical aspects of quantum computation | Link to Logical aspects of quantum computation

• [2]

  Comparing Intuitionistic Quantum Logics: From Orthomodular Lattices to Frames

  D. Marsden

  Master's Thesis University of Oxford. 2010.

  Details about Comparing Intuitionistic Quantum Logics: From Orthomodular Lattices to Frames | BibTeX data for Comparing Intuitionistic Quantum Logics: From Orthomodular Lattices to Frames