Richard Blute

According to our database, Richard Blute authored at least 21 papers between 1991 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Differential Categories Revisited.

Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely

Appl. Categorical Struct., 2020

2018

Finiteness Spaces and Generalized Power Series.

Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2016

The Shuffle Quasimonad and Modules with Differentiation and Integration.

Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

2015

Von Neumann Categories.

Richard Blute, Marc Comeau

Appl. Categorical Struct., 2015

2014

A Logical Basis for Quantum Evolution and Entanglement.

Richard Blute, Alessio Guglielmi, Ivan T. Ivanov, Prakash Panangaden, Lutz Straßburger

Proceedings of the Categories and Types in Logic, Language, and Physics, 2014

2012

Deep Inference and Probabilistic Coherence Spaces.

Richard Blute, Prakash Panangaden, Sergey Slavnov

Appl. Categorical Struct., 2012

2010

A convenient differential category

Richard Blute, Thomas Ehrhard, Christine Tasson

CoRR, 2010

2007

Conformal Field Theory as a Nuclear Functor.

Richard Blute, Prakash Panangaden, Dorette Pronk

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

2006

Differential categories.

Richard Blute, J. Robin B. Cockett, Robert A. G. Seely

Math. Struct. Comput. Sci., 2006

2005

Softness of hypercoherences and MALL full completeness.

Richard Blute, Masahiro Hamano, Philip J. Scott

Ann. Pure Appl. Log., 2005

2002

The Logic of Linear Functors.

Richard Blute, J. Robin B. Cockett, Robert A. G. Seely

Math. Struct. Comput. Sci., 2002

Preface.

Richard Blute, Peter Selinger

Proceedings of the Category Theory and Computer Science, 2002

1998

The Shuffle Hopf Algebra and Noncommutative Full Completeness.

Richard Blute, Philip J. Scott

J. Symb. Log., 1998

1997

Bisimulation for Labelled Markov Processes.

Richard Blute, Josée Desharnais, Abbas Edalat, Prakash Panangaden

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

1996

! and ? - Storage as Tensorial Strength.

Richard Blute, J. Robin B. Cockett, Robert A. G. Seely

Math. Struct. Comput. Sci., 1996

Hopf Algebras and Linear Logic.

Richard Blute

Math. Struct. Comput. Sci., 1996

A Noncommutative Full Completeness Theorem.

Richard Blute, Philip J. Scott

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Linear Läuchli Semantics.

Richard Blute, Philip J. Scott

Ann. Pure Appl. Log., 1996

1993

Linear Logic, Coherence, and Dinaturality.

Richard Blute

Theor. Comput. Sci., 1993

Holomorhpic Models of Exponential Types in Linear Logic.

Richard Blute, Robert A. G. Seely, Prakash Panangaden

Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1991

Proof Nets and Coherence Theorems.

Richard Blute

Proceedings of the Category Theory and Computer Science, 1991