[Return to Mathematics page] [Return to homepage]

Publications:

• 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, preprint (2007).
• 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, New Structures in Physics, Springer Lecture Notes in Physics 813, (2011).
• R. Blute, P. Panangaden, Dagger Categories and Formal Distributions, New Structures in Physics, Springer Lecture Notes in Physics 813, (2011).
• R. Blute, R. Cockett, R. Seely, Cartesian Differential Categories, Theory and Applications of Categories 23, pp. 622-672 (2009).
• R. Blute, P. Panangaden, S. Slavnov Deep Inference and Probablilistic Coherence Spaces, Applied Categorical Structures 20, pp. 209-228, (2012).
• R. Blute, R. Cockett, T. Porter, R. Seely, Kahler Categories, Cahiers de Topologie et Geometrie Differentielle 52, pp. 253-268, (2012).
• R. Blute, T. Ehrhard, C. Tasson, A Convenient Differential Category, Cahiers de Topologie et Geometrie Differentielle 53, pp. 211-232, (2012).
• R. Blute, A. Guglielmi, I. Ivanov, P. Panangaden, L. Strassburger, A logical basis for quantum evolution and entanglement, Categories and Types in Logic, Language, and Physics, LNCS 8222, pp. 90-107, (2013).
• R. Blute, A. M. Comeau, Von Neumann Categories, Applied Categorical Structures 23, pp. 725-740, (2015).
• R. Blute, R. Cockett, R. Seely, Cartesian Differential Storage Categories, Theory and Applications of Categories 30, pp. 620-686, (2015).
• R. Blute, M. Bagnol, J.R.B.Cockett, J.S.Lemay. The Shuffle Quasimonad and Modules with Differentiation and Integration. Electronic Notes in Theoretical Computer Science 325, pp. 29-45, (2016).
• R. Blute, R.B.B. Lucyshyn-Wright, K. O’Neill. Derivations in codifferential categories, Cahiers De Topologie et Geometrie Differentielle 57, pp. 243-280, (2016).
• R. Blute, R. Cockett, P.-A. Jacqmin, P. Scott. Finiteness Spaces and Generalized Power Series, Electronic Notes in Theoretical Computer Science 341, pp. 5-22, (2018).
• R. Blute, G. Cruttwell, R.B.B. Lucyshyn-Wright. Affine geometric spaces in tangent categories, Theory and Applications of Categories 34, pp. 405-437, (2019).
• R. Blute, J. R. B. Cockett, J-S. Lemay, R. A. G. Seely. Differential Categories Revisited, Applied Categorical Structures 28, pp. 171-235, (2020).
• R. Blute, J. Beauvais-Feisthauer, I. Dewan, B. Drummond, P.-A. Jacqmin. Finiteness spaces, etale groupoids and their convolution algebras. Semigroup Forum 101, pp 243-258, (2020).
• R. Blute, R. Kudzman-Blais, S. Niefield. Constructing linear bicategories, (2022).