[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by date, Dan Marsden"></meta><meta name="description" content="Publications, by date, Department of Computer Science, Oxford, Dan Marsden"></meta><title>Department of Computer Science, University of Oxford: Dan Marsden : Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/Dan.Marsden"><span itemprop="name">Dan Marsden</span></a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Dan Marsden : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Dan.Marsden.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Dan.Marsden.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Dan.Marsden.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Dan.Marsden.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Symmetric Monoidal Structure with Local Character is a Property </strong> </p>
	    <p class="publicationAuthors"> <em> Stefano Gogioso&#x201a; Dan Marsden and Bob Coecke  </em> </p>
	
	<p class="publicationDetails"> 
            In Peter Selinger and Giulio Chiribella, editors,
             
            <em>
            <span style="font-family: serif;">Proceedings of the 15th International Conference on</span> Quantum Physics and Logic&#x201a; <span style="font-family: serif;">Halifax&#x201a; Canada&#x201a; 3&#x2212;7th June 2018</span></em>.
        
            Vol. 287
                of Electronic Proceedings in Theoretical Computer Science.
        
                Pages 179&#x2212;190.
            Open Publishing Association.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13621-abstract.html">
			Details <span class="sr-only" > about <em> Symmetric Monoidal Structure with Local Character is a Property  </em></span> </a> |
			<a href="/publications/publication13621.bib">
			BibTeX  <span class="sr-only" > data for <em> Symmetric Monoidal Structure with Local Character is a Property  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/EPTCS.287.10">
		DOI (10.4204/EPTCS.287.10)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            No&#x2212;Go Theorems for Distributive Laws </strong> </p>
	    <p class="publicationAuthors"> <em> Maaike Zwart and Dan Marsden  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            34th Annual ACM/IEEE Symposium on Logic in Computer Science&#x201a; LICS 2019&#x201a; Vancouver&#x201a; BC&#x201a; Canada&#x201a; June 24&#x2212;27&#x201a; 2019</em>.
        
                Pages 1&#x2013;13.
            IEEE.
        2019.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13617-abstract.html">
			Details <span class="sr-only" > about <em> No&#x2212;Go Theorems for Distributive Laws  </em></span> </a> |
			<a href="/publications/publication13617.bib">
			BibTeX  <span class="sr-only" > data for <em> No&#x2212;Go Theorems for Distributive Laws  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1109/LICS.2019.8785707">
		DOI (10.1109/LICS.2019.8785707)
		</a> 
					| <a href="https://ieeexplore.ieee.org/xpl/conhome/8765678/proceeding"> Link <span class="sr-only" > to <em> No&#x2212;Go Theorems for Distributive Laws  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Don't Try This at Home: No&#x2212;Go Theorems for Distributive Laws </strong> </p>
	    <p class="publicationAuthors"> <em> Maaike Zwart and Dan Marsden  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>CoRR</em>.
        
            Vol. abs/1811.06460.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13626-abstract.html">
			Details <span class="sr-only" > about <em> Don't Try This at Home: No&#x2212;Go Theorems for Distributive Laws  </em></span> </a> |
			<a href="/publications/publication13626.bib">
			BibTeX  <span class="sr-only" > data for <em> Don't Try This at Home: No&#x2212;Go Theorems for Distributive Laws  </em></span>   </a>
			
			
					| <a href="http://arxiv.org/abs/1811.06460"> Link <span class="sr-only" > to <em> Don't Try This at Home: No&#x2212;Go Theorems for Distributive Laws  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Generalized relations in linguistics & cognition </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke&#x201a; Fabrizio Genovese&#x201a; Martha Lewis&#x201a; Dan Marsden and Alexis Toumi  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Theor. Comput. Sci.</em>.
        
            Vol. 752.
        
                Pages 104&#x2013;115.
            2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13625-abstract.html">
			Details <span class="sr-only" > about <em> Generalized relations in linguistics & cognition  </em></span> </a> |
			<a href="/publications/publication13625.bib">
			BibTeX  <span class="sr-only" > data for <em> Generalized relations in linguistics & cognition  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.tcs.2018.03.008">
		DOI (10.1016/j.tcs.2018.03.008)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Graded hyponymy for compositional distributional semantics </strong> </p>
	    <p class="publicationAuthors"> <em> Dea Bankova&#x201a; Bob Coecke&#x201a; Martha Lewis and Dan Marsden  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>J. Language Modelling</em>.
        
            Vol. 6.
        
            No. 2.
        
                Pages 225&#x2013;260.
            2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13616-abstract.html">
			Details <span class="sr-only" > about <em> Graded hyponymy for compositional distributional semantics  </em></span> </a> |
			<a href="/publications/publication13616.bib">
			BibTeX  <span class="sr-only" > data for <em> Graded hyponymy for compositional distributional semantics  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.15398/jlm.v6i2.230">
		DOI (10.15398/jlm.v6i2.230)
		</a> 
					| <a href="https://doi.org/10.15398/jlm.v6i2.230"> Link <span class="sr-only" > to <em> Graded hyponymy for compositional distributional semantics  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards Compositional Distributional Discourse Analysis </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke&#x201a; Giovanni de Felice&#x201a; Dan Marsden and Alexis Toumi  </em> </p>
	
	<p class="publicationDetails"> 
            In Martha Lewis&#x201a; Bob Coecke&#x201a; Jules Hedges&#x201a; Dimitri Kartsaklis and Dan Marsden, editors,
             
            <em>
            Proceedings of the 2018 Workshop on Compositional Approaches in Physics&#x201a; NLP&#x201a; and Social Sciences&#x201a; CAPNS@QI 2018&#x201a; Nice&#x201a; France&#x201a; 2nd&#x2212;3rd September 2018</em>.
        
            Vol. 283
                of EPTCS.
        
                Pages 1&#x2013;12.
            2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13623-abstract.html">
			Details <span class="sr-only" > about <em> Towards Compositional Distributional Discourse Analysis  </em></span> </a> |
			<a href="/publications/publication13623.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards Compositional Distributional Discourse Analysis  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/EPTCS.283">
		DOI (10.4204/EPTCS.283)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Internal Wiring of Cartesian Verbs and Prepositions </strong> </p>
	    <p class="publicationAuthors"> <em> Bob Coecke&#x201a; Martha Lewis and Dan Marsden  </em> </p>
	
	<p class="publicationDetails"> 
            In Martha Lewis&#x201a; Bob Coecke&#x201a; Jules Hedges&#x201a; Dimitri Kartsaklis and Dan Marsden, editors,
             
            <em>
            Proceedings of the 2018 Workshop on Compositional Approaches in Physics&#x201a; NLP&#x201a; and Social Sciences&#x201a; CAPNS@QI 2018&#x201a; Nice&#x201a; France&#x201a; 2nd&#x2212;3rd September 2018</em>.
        
            Vol. 283
                of EPTCS.
        
                Pages 75&#x2013;88.
            2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13622-abstract.html">
			Details <span class="sr-only" > about <em> Internal Wiring of Cartesian Verbs and Prepositions  </em></span> </a> |
			<a href="/publications/publication13622.bib">
			BibTeX  <span class="sr-only" > data for <em> Internal Wiring of Cartesian Verbs and Prepositions  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/EPTCS.283">
		DOI (10.4204/EPTCS.283)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Quantitative Foundations for Resource Theories </strong> </p>
	    <p class="publicationAuthors"> <em> Dan Marsden and Maaike Zwart  </em> </p>
	
	<p class="publicationDetails"> 
            In Dan R. Ghica and Achim Jung, editors,
             
            <em>
            27th EACSL Annual Conference on Computer Science Logic&#x201a; CSL 2018&#x201a; September 4&#x2212;7&#x201a; 2018&#x201a; Birmingham&#x201a; UK</em>.
        
            Vol. 119
                of LIPIcs.
        
                Pages 32:1&#x2013;32:17.
            Schloss Dagstuhl &#x2212; Leibniz&#x2212;Zentrum fuer Informatik.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13619-abstract.html">
			Details <span class="sr-only" > about <em> Quantitative Foundations for Resource Theories  </em></span> </a> |
			<a href="/publications/publication13619.bib">
			BibTeX  <span class="sr-only" > data for <em> Quantitative Foundations for Resource Theories  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4230/LIPIcs.CSL.2018.32">
		DOI (10.4230/LIPIcs.CSL.2018.32)
		</a> 
					| <a href="http://www.dagstuhl.de/dagpub/978-3-95977-088-0"> Link <span class="sr-only" > to <em> Quantitative Foundations for Resource Theories  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Uniqueness of Composition in Quantum Theory and Linguistics </strong> </p>
	    <p class="publicationAuthors"> <em> B. Coecke&#x201a; F. Genovese&#x201a; S. Gogioso&#x201a; D. Marsden and R. Piedeleu  </em> </p>
	
	<p class="publicationDetails"> 
            In A. Coecke B.and Kissinger, editor,
             
            <em>
            <span style="font-family: serif;">Proceedings 14th International Conference on</span> Quantum Physics and Logic&#x201a; <span style="font-family: serif;">Nijmegen&#x201a; The Netherlands&#x201a; 3&#x2212;7 July 2017</span></em>.
        
            Vol. 266
                of Electronic Proceedings in Theoretical Computer Science.
        
                Pages 249&#x2212;257.
            Open Publishing Association.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13615-abstract.html">
			Details <span class="sr-only" > about <em> Uniqueness of Composition in Quantum Theory and Linguistics  </em></span> </a> |
			<a href="/publications/publication13615.bib">
			BibTeX  <span class="sr-only" > data for <em> Uniqueness of Composition in Quantum Theory and Linguistics  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Interacting Conceptual Spaces I: Grammatical Composition of Concepts </strong> </p>
	    <p class="publicationAuthors"> <em> J. Bolt&#x201a; B. Coecke&#x201a; F. Genovese&#x201a; M. Lewis&#x201a; D. Marsden and R. Piedeleu  </em> </p>
	
	<p class="publicationDetails"> 
            In M. Kaipainen&#x201a; A. Hautam&#xe4;ki&#x201a; P. G&#xe4;rdenfors and F. Zenker, editors,
             
            <em>
            Conceptual spaces: Elaborations and applications</em>.
        Springer.
        2018.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13607-abstract.html">
			Details <span class="sr-only" > about <em> Interacting Conceptual Spaces I: Grammatical Composition of Concepts  </em></span> </a> |
			<a href="/publications/publication13607.bib">
			BibTeX  <span class="sr-only" > data for <em> Interacting Conceptual Spaces I: Grammatical Composition of Concepts  </em></span>   </a>
			
			
					| <a href="https://arxiv.org/abs/1703.08314"> Link <span class="sr-only" > to <em> Interacting Conceptual Spaces I: Grammatical Composition of Concepts  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Generalized Relations in Linguistics and Cognition </strong> </p>
	    <p class="publicationAuthors"> <em> B. Coecke&#x201a; F. Genovese&#x201a; M. Lewis and D. Marsden  </em> </p>
	
	<p class="publicationDetails"> 
            In Juliette Kennedy and Ruy J. G. B. de Queiroz, editors,
             
            <em>
            Logic&#x201a; Language&#x201a; Information&#x201a; and Computation &#x2212; 24th International Workshop&#x201a; WoLLIC 2017&#x201a; London&#x201a; UK&#x201a; July 18&#x2212;21&#x201a; 2017&#x201a; Proceedings</em>.
        
            Vol. 10388
                of Lecture Notes in Computer Science.
        
                Pages 256&#x2013;270.
            Springer.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13613-abstract.html">
			Details <span class="sr-only" > about <em> Generalized Relations in Linguistics and Cognition  </em></span> </a> |
			<a href="/publications/publication13613.bib">
			BibTeX  <span class="sr-only" > data for <em> Generalized Relations in Linguistics and Cognition  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Custom Hypergraph Categories via Generalized Relations </strong> </p>
	    <p class="publicationAuthors"> <em> D. Marsden and F. Genovese  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            7th Conference on Algebra and Coalgebra in Computer Science&#x201a; CALCO 2017&#x201a; June 12&#x2212;16&#x201a; 2017&#x201a; Ljubljana&#x201a; Slovenia</em>.
        
                Pages 17:1&#x2013;17:16.
            2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13611-abstract.html">
			Details <span class="sr-only" > about <em> Custom Hypergraph Categories via Generalized Relations  </em></span> </a> |
			<a href="/publications/publication13611.bib">
			BibTeX  <span class="sr-only" > data for <em> Custom Hypergraph Categories via Generalized Relations  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Ambiguity and Incomplete Information in Categorical Models of Language </strong> </p>
	    <p class="publicationAuthors"> <em> D. Marsden  </em> </p>
	
	<p class="publicationDetails"> 
            In R. Duncan and C. Heunen, editors,
             
            <em>
            Proceedings 13th International Conference on Quantum Physics and Logic&#x201a; Glasgow&#x201a; Scotland&#x201a; 6&#x2212;10 June 2016</em>.
        
            Vol. 236
                of EPTCS.
        
                Pages 95&#x2212;107.
            Open Publishing Association.
        2017.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13610-abstract.html">
			Details <span class="sr-only" > about <em> Ambiguity and Incomplete Information in Categorical Models of Language  </em></span> </a> |
			<a href="/publications/publication13610.bib">
			BibTeX  <span class="sr-only" > data for <em> Ambiguity and Incomplete Information in Categorical Models of Language  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/EPTCS.236.7">
		DOI (10.4204/EPTCS.236.7)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Dragging Proofs Out of Pictures </strong> </p>
	    <p class="publicationAuthors"> <em> R. Hinze and D. Marsden  </em> </p>
	
	<p class="publicationDetails"> 
            In S. Lindley&#x201a; C. McBride&#x201a; P. Trinder and D. Sannella, editors,
             
            <em>
            A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday</em>.
        
                Pages 152&#x2013;168.
            Springer International Publishing, Cham.
        2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10758-abstract.html">
			Details <span class="sr-only" > about <em> Dragging Proofs Out of Pictures  </em></span> </a> |
			<a href="/publications/publication10758.bib">
			BibTeX  <span class="sr-only" > data for <em> Dragging Proofs Out of Pictures  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-319-30936-1_8">
		DOI (10.1007/978-3-319-30936-1_8)
		</a> 
					| <a href="http://dx.doi.org/10.1007/978-3-319-30936-1_8"> Link <span class="sr-only" > to <em> Dragging Proofs Out of Pictures  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Equational reasoning with lollipops&#x201a; forks&#x201a; cups&#x201a; caps&#x201a; snakes&#x201a; and speedometers </strong> </p>
	    <p class="publicationAuthors"> <em> R. Hinze and D. Marsden  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>J. Log. Algebr. Meth. Program.</em>.
        
            Vol. 85.
        
            No. 5.
        
                Pages 931&#x2013;951.
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10759-abstract.html">
			Details <span class="sr-only" > about <em> Equational reasoning with lollipops&#x201a; forks&#x201a; cups&#x201a; caps&#x201a; snakes&#x201a; and speedometers  </em></span> </a> |
			<a href="/publications/publication10759.bib">
			BibTeX  <span class="sr-only" > data for <em> Equational reasoning with lollipops&#x201a; forks&#x201a; cups&#x201a; caps&#x201a; snakes&#x201a; and speedometers  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1016/j.jlamp.2015.12.004">
		DOI (10.1016/j.jlamp.2015.12.004)
		</a> 
					| <a href="http://dx.doi.org/10.1016/j.jlamp.2015.12.004"> Link <span class="sr-only" > to <em> Equational reasoning with lollipops&#x201a; forks&#x201a; cups&#x201a; caps&#x201a; snakes&#x201a; and speedometers  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Interacting Conceptual Spaces </strong> </p>
	    <p class="publicationAuthors"> <em> J. Bolt&#x201a; B. Coecke&#x201a; F. Genovese&#x201a; M. Lewis&#x201a; D. Marsden and R. Piedeleu  </em> </p>
	
	<p class="publicationDetails"> 
            In D. Kartsaklis&#x201a; M. Lewis and L. Rimell, editors,
             
            <em>
            Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP&#x201a; Physics and Cognitive Science&#x201a; SLPCS@QPL 2016&#x201a; Glasgow&#x201a; Scotland&#x201a; 11th June 2016</em>.
        
            Vol. 221
                of EPTCS.
        
                Pages 11&#x2013;19.
            2016.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10764-abstract.html">
			Details <span class="sr-only" > about <em> Interacting Conceptual Spaces  </em></span> </a> |
			<a href="/publications/publication10764.bib">
			BibTeX  <span class="sr-only" > data for <em> Interacting Conceptual Spaces  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/EPTCS.221">
		DOI (10.4204/EPTCS.221)
		</a> 
					| <a href="http://dx.doi.org/10.4204/EPTCS.221"> Link <span class="sr-only" > to <em> Interacting Conceptual Spaces  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Graph Theoretic Perspective on CPM(Rel) </strong> </p>
	    <p class="publicationAuthors"> <em> D. Marsden  </em> </p>
	
	<p class="publicationDetails"> 
            In C. Heunen&#x201a; P. Selinger and J. Vicary, editors,
             
            <em>
            Proceedings 12th International Workshop on Quantum Physics and Logic&#x201a; QPL 2015&#x201a; Oxford&#x201a; UK&#x201a; July 15&#x2212;17&#x201a; 2015</em>.
        
            Vol. 195
                of EPTCS.
        
                Pages 273&#x2013;284.
            2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10766-abstract.html">
			Details <span class="sr-only" > about <em> A Graph Theoretic Perspective on CPM(Rel)  </em></span> </a> |
			<a href="/publications/publication10766.bib">
			BibTeX  <span class="sr-only" > data for <em> A Graph Theoretic Perspective on CPM(Rel)  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/EPTCS.195">
		DOI (10.4204/EPTCS.195)
		</a> 
					| <a href="http://dx.doi.org/10.4204/EPTCS.195"> Link <span class="sr-only" > to <em> A Graph Theoretic Perspective on CPM(Rel)  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Logical aspects of quantum computation </strong> </p>
	    <p class="publicationAuthors"> <em> D. Marsden  </em> </p>
	
	<p class="publicationDetails">  PhD Thesis University of Oxford.
        2015.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication13602-abstract.html">
			Details <span class="sr-only" > about <em> Logical aspects of quantum computation  </em></span> </a> |
			<a href="/publications/publication13602.bib">
			BibTeX  <span class="sr-only" > data for <em> Logical aspects of quantum computation  </em></span>   </a>
			
			
					| <a href="http://ora.ox.ac.uk/objects/uuid:e99331a3-9d93-4381-8075-ad843fb9b77c"> Link <span class="sr-only" > to <em> Logical aspects of quantum computation  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Category Theory Using String Diagrams </strong> </p>
	    <p class="publicationAuthors"> <em> D. Marsden  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>CoRR</em>.
        
            Vol. abs/1401.7220.
        2014.
        </p> <p
            class="publicationNote"> arXiv preprint</p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10770-abstract.html">
			Details <span class="sr-only" > about <em> Category Theory Using String Diagrams  </em></span> </a> |
			<a href="/publications/publication10770.bib">
			BibTeX  <span class="sr-only" > data for <em> Category Theory Using String Diagrams  </em></span>   </a>
			
			
					| <a href="http://arxiv.org/abs/1401.7220"> Link <span class="sr-only" > to <em> Category Theory Using String Diagrams  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Fibred Coalgebraic Logic and Quantum Protocols </strong> </p>
	    <p class="publicationAuthors"> <em> D. Marsden  </em> </p>
	
	<p class="publicationDetails"> 
            In B. Coecke and M. J. Hoban, editors,
             
            <em>
            Proceedings of the 10th International Workshop on Quantum Physics and Logic&#x201a; QPL 2013&#x201a; Castelldefels (Barcelona)&#x201a; Spain&#x201a; July 17&#x2212;19&#x201a; 2013</em>.
        
            Vol. 171
                of EPTCS.
        
                Pages 90&#x2013;99.
            2014.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10762-abstract.html">
			Details <span class="sr-only" > about <em> Fibred Coalgebraic Logic and Quantum Protocols  </em></span> </a> |
			<a href="/publications/publication10762.bib">
			BibTeX  <span class="sr-only" > data for <em> Fibred Coalgebraic Logic and Quantum Protocols  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.4204/EPTCS.171">
		DOI (10.4204/EPTCS.171)
		</a> 
					| <a href="http://dx.doi.org/10.4204/EPTCS.171"> Link <span class="sr-only" > to <em> Fibred Coalgebraic Logic and Quantum Protocols  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Coalgebras with Symmetries and Modelling Quantum Systems </strong> </p>
	    <p class="publicationAuthors"> <em> D. Marsden  </em> </p>
	
	<p class="publicationDetails"> 
            In R. Heckel and S. Milius, editors,
             
            <em>
            Algebra and Coalgebra in Computer Science &#x2212; 5th International Conference&#x201a; CALCO 2013&#x201a; Warsaw&#x201a; Poland&#x201a; September 3&#x2212;6&#x201a; 2013. Proceedings</em>.
        
            Vol. 8089
                of Lecture Notes in Computer Science.
        
                Pages 205&#x2013;219.
            Springer.
        2013.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10760-abstract.html">
			Details <span class="sr-only" > about <em> Coalgebras with Symmetries and Modelling Quantum Systems  </em></span> </a> |
			<a href="/publications/publication10760.bib">
			BibTeX  <span class="sr-only" > data for <em> Coalgebras with Symmetries and Modelling Quantum Systems  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1007/978-3-642-40206-7">
		DOI (10.1007/978-3-642-40206-7)
		</a> 
					| <a href="http://dx.doi.org/10.1007/978-3-642-40206-7"> Link <span class="sr-only" > to <em> Coalgebras with Symmetries and Modelling Quantum Systems  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Comparing Intuitionistic Quantum Logics: From Orthomodular Lattices to Frames </strong> </p>
	    <p class="publicationAuthors"> <em> D. Marsden  </em> </p>
	
	<p class="publicationDetails">  Master's Thesis University of Oxford.
        2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication10768-abstract.html">
			Details <span class="sr-only" > about <em> Comparing Intuitionistic Quantum Logics: From Orthomodular Lattices to Frames  </em></span> </a> |
			<a href="/publications/publication10768.bib">
			BibTeX  <span class="sr-only" > data for <em> Comparing Intuitionistic Quantum Logics: From Orthomodular Lattices to Frames  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li><a href="/people/faculty.html">Faculty</a></li><li class="active"><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women at Oxford</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]