nLab Richard Blute

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:

  • Linear logic, most recently differential linear logic
  • Categorical Logic and proof theory
  • Category theory, especially monoidal categories
  • Applications of category theory to physics

see also his

Selected writings

On categorical semantics of linear type theory (such as for the exponential modality):

Introducing differential categories:

category: people

Last revised on November 10, 2022 at 15:28:21. See the history of this page for a list of all contributions to it.