default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDan 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, Sean Gleason, Meta Williams, Gonzalo J. Linares Matás, Daniel Marsden, Warren Jones:
UAV-Based Remote Sensing for Managing Alaskan Native Heritage Landscapes in the Yukon-Kuskokwim Delta. Remote. Sens. 14(3): 728 (2022) - [c16]Samson Abramsky, Dan Marsden:
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, Dan Marsden:
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, Dan Marsden:
No-Go Theorems for Distributive Laws. LICS 2019: 1-13 - 2018
- [j3]Dea Bankova, Bob Coecke, Martha Lewis, Dan Marsden:
Graded hyponymy for compositional distributional semantics. J. Lang. Model. 6(2): 225-260 (2018) - [j2]Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden, Alexis Toumi:
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, Dan Marsden:
Internal Wiring of Cartesian Verbs and Prepositions. CAPNS@QI 2018: 75-88 - [c10]Stefano Gogioso, Dan Marsden, Bob Coecke:
Symmetric Monoidal Structure with Local Character is a Property. QPL 2018: 179-190 - [e1]Martha Lewis, Bob Coecke, Jules Hedges, Dimitri Kartsaklis, Dan Marsden:
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, Dan Marsden:
Generalized Relations in Linguistics and Cognition. WoLLIC 2017: 256-270 - [c7]Bob Coecke, Fabrizio Genovese, Stefano Gogioso, Dan Marsden, Robin Piedeleu:
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, Martha Lewis, Dan Marsden, Robin Piedeleu:
Interacting Conceptual Spaces I : Grammatical Composition of Concepts. CoRR abs/1703.08314 (2017) - 2016
- [j1]Ralf Hinze, Dan Marsden:
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, Martha Lewis, Daniel Marsden, Robin Piedeleu:
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-10-07 22:20 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:
