Richard Blute

Publication Activity (10 Years)

Years Active: 1991-2020
Publications (10 Years): 3

Top Topics

Possibility Distributions

Probabilistic Modeling

Modular Architecture

Expected Utility

Top Venues

Appl. Categorical Struct.

Categories and Types in Logic, Language, and Physics

Publications

Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely
Differential Categories Revisited. Appl. Categorical Struct. 28 (2) (2020)
Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott
Finiteness Spaces and Generalized Power Series. MFPS (2018)
Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay
The Shuffle Quasimonad and Modules with Differentiation and Integration. MFPS (2016)
Richard Blute, Marc Comeau
Von Neumann Categories. Appl. Categorical Struct. 23 (5) (2015)
Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger
A Logical Basis for Quantum Evolution and Entanglement. Categories and Types in Logic, Language, and Physics (2014)
Richard Blute, Prakash Panangaden, Sergey Slavnov
Deep Inference and Probabilistic Coherence Spaces. Appl. Categorical Struct. 20 (3) (2012)
Richard Blute, Thomas Ehrhard, Christine Tasson
A convenient differential category CoRR (2010)
Richard Blute, Prakash Panangaden, Dorette Pronk
Conformal Field Theory as a Nuclear Functor. Electron. Notes Theor. Comput. Sci. 172 (2007)
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
Differential categories. Math. Struct. Comput. Sci. 16 (6) (2006)
Richard Blute, Masahiro Hamano, Philip J. Scott
Softness of hypercoherences and MALL full completeness. Ann. Pure Appl. Log. 131 (1-3) (2005)
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
The Logic of Linear Functors. Math. Struct. Comput. Sci. 12 (4) (2002)
Richard Blute, Peter Selinger
Preface. CTCS (2002)
Richard Blute, Philip J. Scott
The Shuffle Hopf Algebra and Noncommutative Full Completeness. J. Symb. Log. 63 (4) (1998)
Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden
Bisimulation for Labelled Markov Processes. LICS (1997)
Richard Blute, Philip J. Scott
Linear Läuchli Semantics. Ann. Pure Appl. Log. 77 (2) (1996)
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
! and ? - Storage as Tensorial Strength. Math. Struct. Comput. Sci. 6 (4) (1996)
Richard Blute
Hopf Algebras and Linear Logic. Math. Struct. Comput. Sci. 6 (2) (1996)
Richard Blute, Philip J. Scott
A Noncommutative Full Completeness Theorem. Electron. Notes Theor. Comput. Sci. 3 (1996)
Richard Blute, Robert A. G. Seely, Prakash Panangaden
Holomorhpic Models of Exponential Types in Linear Logic. MFPS (1993)
Richard Blute
Linear Logic, Coherence, and Dinaturality. Theor. Comput. Sci. 115 (1) (1993)
Richard Blute
Proof Nets and Coherence Theorems. Category Theory and Computer Science (1991)