Rick Blute is a mathematician at the University of Ottawa. His areas of interest include the relations of category theory with quantum computing and mathematical physics.
His primary research areas are:
see also his
On categorical semantics of linear type theory (such as for the exponential modality):
Richard Blute, Philip Scott, Category theory for linear logicians, in: Linear Logic in Computer Science, Cambridge University Press (2004) 3-64 [doi:10.1017/CBO9780511550850.002, pdf]
R. F. Blute , J. R. B. Cockett, R. A. G. Seely, ! and ? – Storage as tensorial strength, Mathematical Structures in Computer Science 6 4 (1996) 313-351 [doi:10.1017/S0960129500001055]
R. Blute, J.R.B. Cockett, T. Porter, R.A.G.Seely, Kähler categories, Cahiers Top.
Géom. Diff. cat., 52 (2011) 253 – 268 (pdf)
Richard Blute, Prakash Panangaden, R. A. G. Seely, Fock Space: A Model of Linear Exponential Types (1994) (web, pdf)
Introducing differential categories:
R. F. Blute, J. R. B. Cockett, and R. A. G. Seely: Differential categories. Math. Struct. Comput. Sci. 16(06), 1049–1083 (2006) (doi:10.1017/S0960129506005676)
Richard Blute, Robin Cockett, Jean-Simon Lemay and Robert Seely, Differential categories revisited, Appl. Categ. Struct. 28, 171-235 (2020). (arXiv:1806.04804, doi:10.1007/s10485-019-09572-y)
Last revised on November 10, 2022 at 15:28:21. See the history of this page for a list of all contributions to it.