Dan Marsden : Publications
-
[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]
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
-
[4]
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)
-
[5]
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
-
[6]
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)
-
[7]
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)
-
[8]
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
-
[9]
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
-
[10]
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
-
[11]
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
-
[12]
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
-
[13]
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)
-
[14]
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
-
[15]
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
-
[16]
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
-
[17]
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)
-
[18]
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
-
[19]
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
-
[20]
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
-
[21]
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
-
[22]
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