Dan Marsden

According to our database, Dan Marsden authored at least 30 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A categorical account of composition methods in logic (extended version).

Tomas Jakl, Dan Marsden, Nihil Shah

CoRR, 2024

2023

A categorical account of composition methods in logic.

Tomas Jakl, Dan Marsden, Nihil Shah

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

UAV-Based Remote Sensing for Managing Alaskan Native Heritage Landscapes in the Yukon-Kuskokwim Delta.

Jonathan S. Lim, Sean Gleason, Meta Williams, Gonzalo J. Linares Matás, Daniel Marsden, Warren Jones

Remote. Sens., 2022

No-Go Theorems for Distributive Laws.

Maaike Zwart, Dan Marsden

Log. Methods Comput. Sci., 2022

A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems.

Tomas Jakl, Dan Marsden, Nihil Shah

CoRR, 2022

Comonadic semantics for hybrid logic.

Samson Abramsky, Dan Marsden

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021

Comonadic semantics for hybrid logic and bounded fragments.

Samson Abramsky, Dan Marsden

CoRR, 2021

Comonadic semantics for guarded fragments.

Samson Abramsky, Dan Marsden

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science.

Martha Lewis, Dan Marsden, Mehrnoosh Sadrzadeh

FLAP, 2020

2018

Generalized relations in linguistics & cognition.

Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Alexis Toumi

Theor. Comput. Sci., 2018

Graded hyponymy for compositional distributional semantics.

Dea Bankova, Bob Coecke, Martha Lewis, Dan Marsden

J. Lang. Model., 2018

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

Maaike Zwart, Dan Marsden

CoRR, 2018

Internal Wiring of Cartesian Verbs and Prepositions.

Bob Coecke, Martha Lewis, Dan Marsden

Proceedings of the 2018 Workshop on Compositional Approaches in Physics, 2018

Towards Compositional Distributional Discourse Analysis.

Bob Coecke, Giovanni de Felice, Dan Marsden, Alexis Toumi

Proceedings of the 2018 Workshop on Compositional Approaches in Physics, 2018

Symmetric Monoidal Structure with Local Character is a Property.

Stefano Gogioso, Dan Marsden, Bob Coecke

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

Quantitative Foundations for Resource Theories.

Dan Marsden, Maaike Zwart

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Uniqueness of Composition in Quantum Theory and Linguistics.

Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden, Robin Piedeleu

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Interacting Conceptual Spaces I : Grammatical Composition of Concepts.

Joe Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Robin Piedeleu

CoRR, 2017

Generalized Relations in Linguistics and Cognition.

Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden

Proceedings of the Logic, Language, Information, and Computation, 2017

Custom Hypergraph Categories via Generalized Relations.

Dan Marsden, Fabrizio Genovese

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers.

Ralf Hinze, Dan Marsden

J. Log. Algebraic Methods Program., 2016

Ambiguity and Incomplete Information in Categorical Models of Language.

Dan Marsden

Proceedings of the Proceedings 13th International Conference on Quantum Physics and Logic, 2016

Interacting Conceptual Spaces.

Josef Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Daniel Marsden, Robin Piedeleu

Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, 2016

Graded Entailment for Compositional Distributional Semantics.

Desislava Bankova, Bob Coecke, Martha Lewis, Daniel Marsden

CoRR, 2016

Dragging Proofs Out of Pictures.

Ralf Hinze, Dan Marsden

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Logical aspects of quantum computation.

Daniel Marsden

PhD thesis, 2015

A Graph Theoretic Perspective on CPM(Rel).

Daniel Marsden

Proceedings of the Proceedings 12th International Workshop on Quantum Physics and Logic, 2015

2014

Category Theory Using String Diagrams.

Dan Marsden

CoRR, 2014

2013

Fibred Coalgebraic Logic and Quantum Protocols.

Daniel Marsden

Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013

Coalgebras with Symmetries and Modelling Quantum Systems.

Daniel Marsden

Proceedings of the Algebra and Coalgebra in Computer Science, 2013