Dan Marsden

30 papers A* 3B 3C 1Journal 16Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
A categorical account of composition methods in logic (extended version).
Log. Methods Comput. Sci.
Tomás Jakl, Dan Marsden, Nihil Shah
2025 J jnl
The graphical theory of monads.
J. Funct. Program.
Ralf Hinze, Dan Marsden
2024 J jnl
A categorical account of composition methods in logic (extended version).
CoRR
Tomas Jakl, Dan Marsden, Nihil Shah
2023 A* conf
A categorical account of composition methods in logic.
LICS
Tomas Jakl, Dan Marsden, Nihil Shah
2023 J jnl
A categorical account of composition methods in logic.
CoRR
Tomas Jakl, Dan Marsden, Nihil Shah
2022 J jnl
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems.
CoRR
Tomas Jakl, Dan Marsden, Nihil Shah
2022 B conf
Comonadic semantics for hybrid logic.
MFCS
Samson Abramsky, Dan Marsden
2022 J jnl
No-Go Theorems for Distributive Laws.
Log. Methods Comput. Sci.
Maaike Zwart, Dan Marsden
2021 A* conf
Comonadic semantics for guarded fragments.
LICS
Samson Abramsky, Dan Marsden
2021 J jnl
Comonadic semantics for hybrid logic and bounded fragments.
CoRR
Samson Abramsky, Dan Marsden
2020 J jnl
Comonadic semantics for guarded fragments.
CoRR
Samson Abramsky, Dan Marsden
2020 J jnl
No-Go Theorems for Distributive Laws.
CoRR
Maaike Zwart, Dan Marsden
2020 J jnl
Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science.
FLAP
Martha Lewis, Dan Marsden, Mehrnoosh Sadrzadeh
2019 A* conf
No-Go Theorems for Distributive Laws.
LICS
Maaike Zwart, Dan Marsden
2018 J jnl
Don't Try This at Home: No-Go Theorems for Distributive Laws.
CoRR
Maaike Zwart, Dan Marsden
2018 J jnl
Generalized relations in linguistics & cognition.
Theor. Comput. Sci.
Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Alexis Toumi
2018 J jnl
Graded hyponymy for compositional distributional semantics.
J. Lang. Model.
Dea Bankova, Bob Coecke, Martha Lewis, Dan Marsden
2018 — conf
Internal Wiring of Cartesian Verbs and Prepositions.
CAPNS@QI
Bob Coecke, Martha Lewis, Dan Marsden
2018 — ed.
Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018.
CAPNS@QI
Martha Lewis, Bob Coecke, Jules Hedges, Dimitri Kartsaklis, Dan Marsden
2018 B conf
Quantitative Foundations for Resource Theories.
CSL
Dan Marsden, Maaike Zwart
2018 — conf
Symmetric Monoidal Structure with Local Character is a Property.
QPL
Stefano Gogioso, Dan Marsden, Bob Coecke
2018 — conf
Towards Compositional Distributional Discourse Analysis.
CAPNS@QI
Bob Coecke, Giovanni de Felice, Dan Marsden, Alexis Toumi
2017 B conf
Custom Hypergraph Categories via Generalized Relations.
CALCO
Dan Marsden, Fabrizio Genovese
2017 C conf
Generalized Relations in Linguistics and Cognition.
WoLLIC
Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden
2017 J jnl
Interacting Conceptual Spaces I : Grammatical Composition of Concepts.
CoRR
Joe Bolt, Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Robin Piedeleu
2017 — conf
Uniqueness of Composition in Quantum Theory and Linguistics.
QPL
Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden, Robin Piedeleu
2016 — conf
Ambiguity and Incomplete Information in Categorical Models of Language.
QPL
Dan Marsden
2016 — conf
Dragging Proofs Out of Pictures.
A List of Successes That Can Change the World
Ralf Hinze, Dan Marsden
2016 J jnl
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers.
J. Log. Algebraic Methods Program.
Ralf Hinze, Dan Marsden
2014 J jnl
Category Theory Using String Diagrams.
CoRR
Dan Marsden