Dan Marsden
Dan Marsden
Interests
I am interested in using category theoretic techniques to model and reason about systems in terms of their interactions and observable behaviour. Recent application areas have included quantum computation, natural language semantics,compositional theories of physics and mathematical models of human cognition. Concretely, I apply methods such as graphical languages,categorical logics, coalgebra and monad theory to the analysis of these processes.
Selected Publications
-
Symmetric Monoidal Structure with Local Character is a Property
Stefano Gogioso‚ Dan Marsden and Bob Coecke
In Peter Selinger and Giulio Chiribella, editors, Proceedings of the 15th International Conference on Quantum Physics and Logic‚ Halifax‚ Canada‚ 3−7th June 2018. Vol. 287 of Electronic Proceedings in Theoretical Computer Science. Pages 179−190. Open Publishing Association. 2019.
Details about Symmetric Monoidal Structure with Local Character is a Property | BibTeX data for Symmetric Monoidal Structure with Local Character is a Property | DOI (10.4204/EPTCS.287.10)
-
No−Go Theorems for Distributive Laws
Maaike Zwart and Dan Marsden
In 34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019. Pages 1–13. IEEE. 2019.
Details about No−Go Theorems for Distributive Laws | BibTeX data for No−Go Theorems for Distributive Laws | DOI (10.1109/LICS.2019.8785707) | Link to No−Go Theorems for Distributive Laws
-
Don't Try This at Home: No−Go Theorems for Distributive Laws
Maaike Zwart and Dan Marsden
In CoRR. Vol. abs/1811.06460. 2018.
Details about Don't Try This at Home: No−Go Theorems for Distributive Laws | BibTeX data for Don't Try This at Home: No−Go Theorems for Distributive Laws | Link to Don't Try This at Home: No−Go Theorems for Distributive Laws