Dan Marsden

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 26

Top Topics

Fixed Point Semantics

Discourse Analysis

Valued Semantics

Distributive Lattices

Top Venues

Publications

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