---

• R. Blute, Proof Nets and Coherence Theorems, Proceedings of Category Theory and Computer Science '91, Springer Lecture Notes in Computer Science, volume 530, pp. 121-138, (1991).
  
  
• R. Blute, Linear Logic, Coherence and Dinaturality, Theoretical Computer Science 115, p. 3-41, (1993).
  
  
• R. Blute, Hopf Algebras and Linear Logic, Mathematical Structures in Computer Science 6, pp. 189-217, (1996).
  
  
• R. Blute, P. Scott, Linear Lauchli Semantics, Annals of Pure and Applied Logic 77, pp. 101-142 (1996).
  
  
• R. Blute, R. Cockett, R. Seely, T. Trimble, Natural Deduction and Coherence for Weakly Distributive Categories, Journal of Pure and Applied Algebra 113, pp. 229-296, (1996).
  
  
• R. Blute, R. Cockett, R. Seely, Storage as Tensorial Strength, Mathematical Structures in Computer Science, 6, pp. 313-351, (1996).
  
  
• R. Blute, P. Scott, A Noncommutative Full Completeness Theorem (Extended Abstract), Electronic Notes in Theoretical Computer Science Volume 3 (1996), Elsevier Science B.V.
  
  
• R. Blute, J. Desharnais, A. Edalat, P. Panangaden, Bisimulation for Labelled Markov Processes, Proceedings of 12th Annual IEEE Symposium on Logic in Computer Science, pp. 149-158, (1997).
  
  
• R. Blute, R. Cockett, R. Seely, Categories for Computation in Context and Unified Logic, Journal of Pure and Applied Algebra 116, pp. 49-98, (1997).
  
  
• R. Blute, P. Scott, The Shuffle Hopf Algebra and Noncommutative Full Completeness, Journal of Symbolic Logic 63, pp. 1413-1435, (1998).
  
  
• R. Blute, S. Abramsky, P. Panangaden, Nuclear and Trace Ideals in Tensored *-categories, Journal of Pure and Applied Algebra 143, pp. 3-47, (2000)
  
  
• R. Blute, R. Cockett, R. Seely, Feedback for linearly distributive categories: traces and fixpoints, Journal of Pure and Applied Algebra 154, pp. 27-69, (2000)
  
  
• R. Blute, F. Lamarche, P. Ruet, Entropic Hopf algebras and models of noncommutative logic, Theory and Applications of Categories 10, pp. 424-460, (2002)
  
  
• R. Blute, R. Cockett, R. Seely, The logic of linear functors, Mathematical Structures in Computer Science 12, pp. 513-539, (2002)
  
  
• R. Blute, I. Ivanov, P. Panangaden, Discrete quantum causal dynamics, International Journal of Theoretical Phsysics 42, pp. 2025-2041, (2003).
  
  
• R. Blute, I. Ivanov, P. Panangaden, Discrete quantum causal dynamics, This is the long version of the previous paper, containing additional material on logic and categorical structure.
  
  
• R. Blute, I. Ivanov, P. Panangaden, Decoherent histories on graphs preprint, (2003).
  
  
• R. Blute, P. Scott, Category theory for linear logicians, Proceedings Linear Logic Summer School, editors: P. Ruet, T. Ehrhard, J.Y. Girard, P. Scott, Cambridge University Press, (2004).
  
  
• R. Blute, M. Hamano, P. Scott, Softness of hypercoherences and MALL full completeness, Annals of Pure and Applied Logic 131, pp. 1-63, (2005).
  
  
• R. Blute, Shape theory for nuclear ideals, to appear in Theory and Applications of Categories (2006).
  
  
• R. Blute, R. Cockett, R. Seely, Differential categories, Mathematical Structures in Computer Science Volume 1616, pp 1049-1083, (2006).
  
  
• R. Blute, P. Panangaden, D. Pronk Conformal Field Theory as A Nuclear Functor Electronic Notes in Theoretical Computer Science 172, pp. 101--132, (2007)
  
  
• R. Blute, P. Panangaden, Proof Nets and Formal Feynman Diagrams, to appear in New Structures in Physics, (2008).
  
  
• R. Blute, P. Panangaden, Dagger Categories and Formal Distributions, to appear in New Structures in Physics, (2008).
  
  
• R. Blute, R. Cockett, R. Seely, Cartesian Differential Categories, to appear in Theory and Applications of Categories (2009).
  
  
• R. Blute, P. Panangaden, S. Slavnov Deep Inference and Probablilistic Coherence Spaces, preprint (2009).