default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dan Marsden
@article{DBLP:journals/corr/abs-2405-06664,
author = {Tomas Jakl and
Dan Marsden and
Nihil Shah},
title = {A categorical account of composition methods in logic (extended version)},
journal = {CoRR},
volume = {abs/2405.06664},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.06664},
doi = {10.48550/ARXIV.2405.06664},
eprinttype = {arXiv},
eprint = {2405.06664},
timestamp = {Thu, 13 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-06664.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/JaklMS23,
author = {Tomas Jakl and
Dan Marsden and
Nihil Shah},
title = {A categorical account of composition methods in logic},
booktitle = {38th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2023, Boston, MA, USA, June 26-29, 2023},
pages = {1--14},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175751},
doi = {10.1109/LICS56636.2023.10175751},
timestamp = {Wed, 29 May 2024 16:05:22 +0200},
biburl = {https://dblp.org/rec/conf/lics/JaklMS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-10196,
author = {Tomas Jakl and
Dan Marsden and
Nihil Shah},
title = {A categorical account of composition methods in logic},
journal = {CoRR},
volume = {abs/2304.10196},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.10196},
doi = {10.48550/ARXIV.2304.10196},
eprinttype = {arXiv},
eprint = {2304.10196},
timestamp = {Tue, 23 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-10196.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/ZwartM22,
author = {Maaike Zwart and
Dan Marsden},
title = {No-Go Theorems for Distributive Laws},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {1},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(1:13)2022},
doi = {10.46298/LMCS-18(1:13)2022},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/ZwartM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/LimGWMMJ22,
author = {Jonathan S. Lim and
Sean Gleason and
Meta Williams and
Gonzalo J. Linares Mat{\'{a}}s and
Daniel Marsden and
Warren Jones},
title = {UAV-Based Remote Sensing for Managing Alaskan Native Heritage Landscapes
in the Yukon-Kuskokwim Delta},
journal = {Remote. Sens.},
volume = {14},
number = {3},
pages = {728},
year = {2022},
url = {https://doi.org/10.3390/rs14030728},
doi = {10.3390/RS14030728},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/LimGWMMJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/AbramskyM22,
author = {Samson Abramsky and
Dan Marsden},
editor = {Stefan Szeider and
Robert Ganian and
Alexandra Silva},
title = {Comonadic semantics for hybrid logic},
booktitle = {47th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2022, August 22-26, 2022, Vienna, Austria},
series = {LIPIcs},
volume = {241},
pages = {7:1--7:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2022.7},
doi = {10.4230/LIPICS.MFCS.2022.7},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/AbramskyM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-05387,
author = {Tomas Jakl and
Dan Marsden and
Nihil Shah},
title = {A game comonadic account of Courcelle and Feferman-Vaught-Mostowski
theorems},
journal = {CoRR},
volume = {abs/2205.05387},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.05387},
doi = {10.48550/ARXIV.2205.05387},
eprinttype = {arXiv},
eprint = {2205.05387},
timestamp = {Tue, 23 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-05387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AbramskyM21,
author = {Samson Abramsky and
Dan Marsden},
title = {Comonadic semantics for guarded fragments},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470594},
doi = {10.1109/LICS52264.2021.9470594},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AbramskyM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-09844,
author = {Samson Abramsky and
Dan Marsden},
title = {Comonadic semantics for hybrid logic and bounded fragments},
journal = {CoRR},
volume = {abs/2110.09844},
year = {2021},
url = {https://arxiv.org/abs/2110.09844},
eprinttype = {arXiv},
eprint = {2110.09844},
timestamp = {Mon, 25 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-09844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/LewisMS20,
author = {Martha Lewis and
Dan Marsden and
Mehrnoosh Sadrzadeh},
title = {Semantic Spaces at the Intersection of NLP, Physics, and Cognitive
Science},
journal = {{FLAP}},
volume = {7},
number = {5},
pages = {677--682},
year = {2020},
url = {http://collegepublications.co.uk/ifcolog/?00041},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/LewisMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-12531,
author = {Maaike Zwart and
Dan Marsden},
title = {No-Go Theorems for Distributive Laws},
journal = {CoRR},
volume = {abs/2003.12531},
year = {2020},
url = {https://arxiv.org/abs/2003.12531},
eprinttype = {arXiv},
eprint = {2003.12531},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-12531.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-11094,
author = {Samson Abramsky and
Dan Marsden},
title = {Comonadic semantics for guarded fragments},
journal = {CoRR},
volume = {abs/2008.11094},
year = {2020},
url = {https://arxiv.org/abs/2008.11094},
eprinttype = {arXiv},
eprint = {2008.11094},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-11094.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ZwartM19,
author = {Maaike Zwart and
Dan Marsden},
title = {No-Go Theorems for Distributive Laws},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--13},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/LICS.2019.8785707},
doi = {10.1109/LICS.2019.8785707},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ZwartM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlm/BankovaCLM18,
author = {Dea Bankova and
Bob Coecke and
Martha Lewis and
Dan Marsden},
title = {Graded hyponymy for compositional distributional semantics},
journal = {J. Lang. Model.},
volume = {6},
number = {2},
pages = {225--260},
year = {2018},
url = {https://doi.org/10.15398/jlm.v6i2.230},
doi = {10.15398/JLM.V6I2.230},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlm/BankovaCLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CoeckeGLMT18,
author = {Bob Coecke and
Fabrizio Genovese and
Martha Lewis and
Dan Marsden and
Alexis Toumi},
title = {Generalized relations in linguistics {\&} cognition},
journal = {Theor. Comput. Sci.},
volume = {752},
pages = {104--115},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.03.008},
doi = {10.1016/J.TCS.2018.03.008},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CoeckeGLMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/MarsdenZ18,
author = {Dan Marsden and
Maaike Zwart},
editor = {Dan R. Ghica and
Achim Jung},
title = {Quantitative Foundations for Resource Theories},
booktitle = {27th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2018,
September 4-7, 2018, Birmingham, {UK}},
series = {LIPIcs},
volume = {119},
pages = {32:1--32:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.CSL.2018.32},
doi = {10.4230/LIPICS.CSL.2018.32},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/MarsdenZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1811-03277,
author = {Bob Coecke and
Giovanni de Felice and
Dan Marsden and
Alexis Toumi},
editor = {Martha Lewis and
Bob Coecke and
Jules Hedges and
Dimitri Kartsaklis and
Dan Marsden},
title = {Towards Compositional Distributional Discourse Analysis},
booktitle = {Proceedings of the 2018 Workshop on Compositional Approaches in Physics,
NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September
2018},
series = {{EPTCS}},
volume = {283},
pages = {1--12},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.283.1},
doi = {10.4204/EPTCS.283.1},
timestamp = {Mon, 26 Oct 2020 08:44:06 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03277.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1811-05770,
author = {Bob Coecke and
Martha Lewis and
Dan Marsden},
editor = {Martha Lewis and
Bob Coecke and
Jules Hedges and
Dimitri Kartsaklis and
Dan Marsden},
title = {Internal Wiring of Cartesian Verbs and Prepositions},
booktitle = {Proceedings of the 2018 Workshop on Compositional Approaches in Physics,
NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September
2018},
series = {{EPTCS}},
volume = {283},
pages = {75--88},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.283.6},
doi = {10.4204/EPTCS.283.6},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-05770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1805-12088,
author = {Stefano Gogioso and
Dan Marsden and
Bob Coecke},
editor = {Peter Selinger and
Giulio Chiribella},
title = {Symmetric Monoidal Structure with Local Character is a Property},
booktitle = {Proceedings 15th International Conference on Quantum Physics and Logic,
{QPL} 2018, Halifax, Canada, 3-7th June 2018},
series = {{EPTCS}},
volume = {287},
pages = {179--190},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.287.10},
doi = {10.4204/EPTCS.287.10},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-12088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1811-02701,
editor = {Martha Lewis and
Bob Coecke and
Jules Hedges and
Dimitri Kartsaklis and
Dan Marsden},
title = {Proceedings of the 2018 Workshop on Compositional Approaches in Physics,
NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September
2018},
series = {{EPTCS}},
volume = {283},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.283},
doi = {10.4204/EPTCS.283},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-02701.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06460,
author = {Maaike Zwart and
Dan Marsden},
title = {Don't Try This at Home: No-Go Theorems for Distributive Laws},
journal = {CoRR},
volume = {abs/1811.06460},
year = {2018},
url = {http://arxiv.org/abs/1811.06460},
eprinttype = {arXiv},
eprint = {1811.06460},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06460.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/MarsdenG17,
author = {Dan Marsden and
Fabrizio Genovese},
editor = {Filippo Bonchi and
Barbara K{\"{o}}nig},
title = {Custom Hypergraph Categories via Generalized Relations},
booktitle = {7th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2017, June 12-16, 2017, Ljubljana, Slovenia},
series = {LIPIcs},
volume = {72},
pages = {17:1--17:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2017.17},
doi = {10.4230/LIPICS.CALCO.2017.17},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/calco/MarsdenG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CoeckeGLM17,
author = {Bob Coecke and
Fabrizio Genovese and
Martha Lewis and
Dan Marsden},
editor = {Juliette Kennedy and
Ruy J. G. B. de Queiroz},
title = {Generalized Relations in Linguistics and Cognition},
booktitle = {Logic, Language, Information, and Computation - 24th International
Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10388},
pages = {256--270},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55386-2\_18},
doi = {10.1007/978-3-662-55386-2\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/CoeckeGLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-00708,
author = {Bob Coecke and
Fabrizio Genovese and
Stefano Gogioso and
Dan Marsden and
Robin Piedeleu},
editor = {Bob Coecke and
Aleks Kissinger},
title = {Uniqueness of Composition in Quantum Theory and Linguistics},
booktitle = {Proceedings 14th International Conference on Quantum Physics and Logic,
{QPL} 2017, Nijmegen, The Netherlands, 3-7 July 2017},
series = {{EPTCS}},
volume = {266},
pages = {249--257},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.266.17},
doi = {10.4204/EPTCS.266.17},
timestamp = {Sat, 28 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00708.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MarsdenG17,
author = {Daniel Marsden and
Fabrizio Genovese},
title = {Custom Hypergraph Categories via Generalized Relations},
journal = {CoRR},
volume = {abs/1703.01204},
year = {2017},
url = {http://arxiv.org/abs/1703.01204},
eprinttype = {arXiv},
eprint = {1703.01204},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MarsdenG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BoltCGLMP17,
author = {Joe Bolt and
Bob Coecke and
Fabrizio Genovese and
Martha Lewis and
Dan Marsden and
Robin Piedeleu},
title = {Interacting Conceptual Spaces {I} : Grammatical Composition of Concepts},
journal = {CoRR},
volume = {abs/1703.08314},
year = {2017},
url = {http://arxiv.org/abs/1703.08314},
eprinttype = {arXiv},
eprint = {1703.08314},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BoltCGLMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HinzeM16,
author = {Ralf Hinze and
Dan Marsden},
title = {Equational reasoning with lollipops, forks, cups, caps, snakes, and
speedometers},
journal = {J. Log. Algebraic Methods Program.},
volume = {85},
number = {5},
pages = {931--951},
year = {2016},
url = {https://doi.org/10.1016/j.jlamp.2015.12.004},
doi = {10.1016/J.JLAMP.2015.12.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HinzeM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HinzeM16,
author = {Ralf Hinze and
Dan Marsden},
editor = {Sam Lindley and
Conor McBride and
Philip W. Trinder and
Donald Sannella},
title = {Dragging Proofs Out of Pictures},
booktitle = {A List of Successes That Can Change the World - Essays Dedicated to
Philip Wadler on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9600},
pages = {152--168},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30936-1\_8},
doi = {10.1007/978-3-319-30936-1\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HinzeM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BoltCGLMP16,
author = {Josef Bolt and
Bob Coecke and
Fabrizio Genovese and
Martha Lewis and
Daniel Marsden and
Robin Piedeleu},
editor = {Dimitrios Kartsaklis and
Martha Lewis and
Laura Rimell},
title = {Interacting Conceptual Spaces},
booktitle = {Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection
of NLP, Physics and Cognitive Science, SLPCS@QPL 2016, Glasgow, Scotland,
11th June 2016},
series = {{EPTCS}},
volume = {221},
pages = {11--19},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.221.2},
doi = {10.4204/EPTCS.221.2},
timestamp = {Mon, 26 Oct 2020 08:44:05 +0100},
biburl = {https://dblp.org/rec/journals/corr/BoltCGLMP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Marsden17,
author = {Dan Marsden},
editor = {Ross Duncan and
Chris Heunen},
title = {Ambiguity and Incomplete Information in Categorical Models of Language},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {95--107},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.7},
doi = {10.4204/EPTCS.236.7},
timestamp = {Tue, 29 Dec 2020 18:21:13 +0100},
biburl = {https://dblp.org/rec/journals/corr/Marsden17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BankovaCLM16,
author = {Desislava Bankova and
Bob Coecke and
Martha Lewis and
Daniel Marsden},
title = {Graded Entailment for Compositional Distributional Semantics},
journal = {CoRR},
volume = {abs/1601.04908},
year = {2016},
url = {http://arxiv.org/abs/1601.04908},
eprinttype = {arXiv},
eprint = {1601.04908},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BankovaCLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Marsden15,
author = {Daniel Marsden},
title = {Logical aspects of quantum computation},
school = {University of Oxford, {UK}},
year = {2015},
url = {http://ora.ox.ac.uk/objects/uuid:e99331a3-9d93-4381-8075-ad843fb9b77c},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Marsden15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Marsden15,
author = {Daniel Marsden},
editor = {Chris Heunen and
Peter Selinger and
Jamie Vicary},
title = {A Graph Theoretic Perspective on CPM(Rel)},
booktitle = {Proceedings 12th International Workshop on Quantum Physics and Logic,
{QPL} 2015, Oxford, UK, July 15-17, 2015},
series = {{EPTCS}},
volume = {195},
pages = {273--284},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.195.20},
doi = {10.4204/EPTCS.195.20},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/Marsden15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Marsden14,
author = {Dan Marsden},
title = {Category Theory Using String Diagrams},
journal = {CoRR},
volume = {abs/1401.7220},
year = {2014},
url = {http://arxiv.org/abs/1401.7220},
eprinttype = {arXiv},
eprint = {1401.7220},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Marsden14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Marsden13,
author = {Daniel Marsden},
editor = {Reiko Heckel and
Stefan Milius},
title = {Coalgebras with Symmetries and Modelling Quantum Systems},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {205--219},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_16},
doi = {10.1007/978-3-642-40206-7\_16},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/Marsden13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Marsden14a,
author = {Daniel Marsden},
editor = {Bob Coecke and
Matty J. Hoban},
title = {Fibred Coalgebraic Logic and Quantum Protocols},
booktitle = {Proceedings of the 10th International Workshop on Quantum Physics
and Logic, {QPL} 2013, Castelldefels (Barcelona), Spain, July 17-19,
2013},
series = {{EPTCS}},
volume = {171},
pages = {90--99},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.171.9},
doi = {10.4204/EPTCS.171.9},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/Marsden14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-06-14 19:05 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:
