Proof Nets and Coherence Theorems. - Richard Blute (Category Theory and Computer Science, 1991)

Holomorhpic Models of Exponential Types in Linear Logic. - Richard Blute; Robert A. G. Seely; Prakash Panangaden (MFPS, 1993)

Linear Logic, Coherence, and Dinaturality. - Richard Blute (Theor. Comput. Sci., 1993)

Linear Läuchli Semantics. - Richard Blute; Philip J. Scott (Ann. Pure Appl. Log., 1996)

A Noncommutative Full Completeness Theorem. - Richard Blute; Philip J. Scott (Linear Logic Tokyo Meeting, 1996)

Hopf Algebras and Linear Logic. - Richard Blute (Math. Struct. Comput. Sci., 1996)

! and ? - Storage as Tensorial Strength. - Richard Blute; J. Robin B. Cockett; Robert A. G. Seely (Math. Struct. Comput. Sci., 1996)

Bisimulation for Labelled Markov Processes. - Richard Blute; Josée Desharnais; Abbas Edalat; Prakash Panangaden (LICS, 1997)

The Shuffle Hopf Algebra and Noncommutative Full Completeness. - Richard Blute; Philip J. Scott (J. Symb. Log., 1998)

Preface. - Richard Blute; Peter Selinger (CTCS, 2002)

The Logic of Linear Functors. - Richard Blute; J. Robin B. Cockett; Robert A. G. Seely (Math. Struct. Comput. Sci., 2002)

Softness of hypercoherences and MALL full completeness. - Richard Blute; Masahiro Hamano; Philip J. Scott (Ann. Pure Appl. Log., 2005)

Differential categories. - Richard Blute; J. Robin B. Cockett; Robert A. G. Seely (Math. Struct. Comput. Sci., 2006)

Conformal Field Theory as a Nuclear Functor. - Richard Blute; Prakash Panangaden; Dorette Pronk (Computation, Meaning, and Logic, 2007)

A convenient differential category - Richard Blute; Thomas Ehrhard; Christine Tasson (CoRR, 2010)

Deep Inference and Probabilistic Coherence Spaces. - Richard Blute; Prakash Panangaden; Sergey Slavnov (Appl. Categorical Struct., 2012)

A Logical Basis for Quantum Evolution and Entanglement. - Richard Blute; Alessio Guglielmi; Ivan T. Ivanov; Prakash Panangaden; Lutz Straßburger (Categories and Types in Logic, Language, and Physics, 2014)

Von Neumann Categories. - Richard Blute; Marc Comeau (Appl. Categorical Struct., 2015)

The Shuffle Quasimonad and Modules with Differentiation and Integration. - Marc Bagnol; Richard Blute; J. Robin B. Cockett; J. S. Lemay (MFPS, 2016)

Finiteness Spaces and Generalized Power Series. - Richard Blute; J. Robin B. Cockett; Pierre-Alain Jacqmin; Philip J. Scott (MFPS, 2018)

Differential Categories Revisited. - Richard Blute; J. Robin B. Cockett; Jean-Simon Pacaud Lemay; Robert A. G. Seely (Appl. Categorical Struct., 2020)