default search action
Dan Marsden
Person information
- affiliation: University of Oxford, Department of Computer Science, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i11]Tomas Jakl, Dan Marsden, Nihil Shah:
A categorical account of composition methods in logic (extended version). CoRR abs/2405.06664 (2024) - 2023
- [c17]Tomas Jakl, Dan Marsden, Nihil Shah:
A categorical account of composition methods in logic. LICS 2023: 1-14 - [i10]Tomas Jakl, Dan Marsden, Nihil Shah:
A categorical account of composition methods in logic. CoRR abs/2304.10196 (2023) - 2022
- [j6]Maaike Zwart
, Dan Marsden:
No-Go Theorems for Distributive Laws. Log. Methods Comput. Sci. 18(1) (2022) - [j5]Jonathan S. Lim
UAV-Based Remote Sensing for Managing Alaskan Native Heritage Landscapes in the Yukon-Kuskokwim Delta. Remote. Sens. 14(3): 728 (2022) - [c16]Samson Abramsky
Comonadic semantics for hybrid logic. MFCS 2022: 7:1-7:14 - [i9]Tomas Jakl, Dan Marsden, Nihil Shah:
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems. CoRR abs/2205.05387 (2022) - 2021
- [c15]Samson Abramsky
Comonadic semantics for guarded fragments. LICS 2021: 1-13 - [i8]Samson Abramsky, Dan Marsden:
Comonadic semantics for hybrid logic and bounded fragments. CoRR abs/2110.09844 (2021) - 2020
- [j4]Martha Lewis, Dan Marsden, Mehrnoosh Sadrzadeh:
Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science. FLAP 7(5): 677-682 (2020) - [i7]Maaike Zwart, Dan Marsden:
No-Go Theorems for Distributive Laws. CoRR abs/2003.12531 (2020) - [i6]Samson Abramsky, Dan Marsden:
Comonadic semantics for guarded fragments. CoRR abs/2008.11094 (2020)
2010 – 2019
- 2019
- [c14]Maaike Zwart
No-Go Theorems for Distributive Laws. LICS 2019: 1-13 - 2018
- [j3]Dea Bankova, Bob Coecke, Martha Lewis
Graded hyponymy for compositional distributional semantics. J. Lang. Model. 6(2): 225-260 (2018) - [j2]Bob Coecke, Fabrizio Genovese
Generalized relations in linguistics & cognition. Theor. Comput. Sci. 752: 104-115 (2018) - [c13]Dan Marsden, Maaike Zwart
Quantitative Foundations for Resource Theories. CSL 2018: 32:1-32:17 - [c12]Bob Coecke, Giovanni de Felice, Dan Marsden, Alexis Toumi
Towards Compositional Distributional Discourse Analysis. CAPNS@QI 2018: 1-12 - [c11]Bob Coecke, Martha Lewis
Internal Wiring of Cartesian Verbs and Prepositions. CAPNS@QI 2018: 75-88 - [c10]Stefano Gogioso
Symmetric Monoidal Structure with Local Character is a Property. QPL 2018: 179-190 - [e1]Martha Lewis
Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018. EPTCS 283, 2018 [contents] - [i5]Maaike Zwart, Dan Marsden:
Don't Try This at Home: No-Go Theorems for Distributive Laws. CoRR abs/1811.06460 (2018) - 2017
- [c9]Dan Marsden, Fabrizio Genovese
Custom Hypergraph Categories via Generalized Relations. CALCO 2017: 17:1-17:16 - [c8]Bob Coecke, Fabrizio Genovese, Martha Lewis
Generalized Relations in Linguistics and Cognition. WoLLIC 2017: 256-270 - [c7]Bob Coecke, Fabrizio Genovese
Uniqueness of Composition in Quantum Theory and Linguistics. QPL 2017: 249-257 - [i4]Daniel Marsden, Fabrizio Genovese:
Custom Hypergraph Categories via Generalized Relations. CoRR abs/1703.01204 (2017) - [i3]Joe Bolt, Bob Coecke, Fabrizio Genovese
Interacting Conceptual Spaces I : Grammatical Composition of Concepts. CoRR abs/1703.08314 (2017) - 2016
- [j1]Ralf Hinze
Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. J. Log. Algebraic Methods Program. 85(5): 931-951 (2016) - [c6]Ralf Hinze, Dan Marsden:
Dragging Proofs Out of Pictures. A List of Successes That Can Change the World 2016: 152-168 - [c5]Josef Bolt, Bob Coecke, Fabrizio Genovese
Interacting Conceptual Spaces. SLPCS@QPL 2016: 11-19 - [c4]Dan Marsden:
Ambiguity and Incomplete Information in Categorical Models of Language. QPL 2016: 95-107 - [i2]Desislava Bankova, Bob Coecke, Martha Lewis, Daniel Marsden:
Graded Entailment for Compositional Distributional Semantics. CoRR abs/1601.04908 (2016) - 2015
- [b1]Daniel Marsden:
Logical aspects of quantum computation. University of Oxford, UK, 2015 - [c3]Daniel Marsden:
A Graph Theoretic Perspective on CPM(Rel). QPL 2015: 273-284 - 2014
- [i1]Dan Marsden:
Category Theory Using String Diagrams. CoRR abs/1401.7220 (2014) - 2013
- [c2]Daniel Marsden:
Coalgebras with Symmetries and Modelling Quantum Systems. CALCO 2013: 205-219 - [c1]Daniel Marsden:
Fibred Coalgebraic Logic and Quantum Protocols. QPL 2013: 90-99
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-14 18:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: