Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Richard F. Blute
Observed names:
Blute, R. F.,
Blute, Richard,
R. BLUTE,
R. Blute,
R. F. BLUTE,
R. F. Blute,
R.F. Blute,
Richard Blute
show all 8
Institution:
University of Ottawa
Observed institutions:
University of Ottawa,
University of Calgary,
Aarhus University,
Imperial College London,
McGill University,
University of Pennsylvania,
Ottawa University
show all 7
OpenAlex ID:
A5087503903
Natural deduction and coherence for weakly distributive categories
1996
·
R.F. Blute
, J.R.B. Cockett
, et al.
·
Journal of Pure and Applied Algebra
·
130
PDF
Differential categories
2006
·
R. F. BLUTE
, J. R. B. COCKETT
, et al.
·
Mathematical Structures in Computer Science
·
94
Nuclear and trace ideals in tensored ∗-categories
1999
·
Samson Abramsky
, Richard Blute
, et al.
·
Journal of Pure and Applied Algebra
·
77
PDF
Linear logic, coherence and dinaturality
1993
·
Richard Blute
·
Theoretical Computer Science
·
66
The shuffle Hopf algebra and noncommutative full completeness
1998
·
R. F. Blute
, P. J. Scott
·
Journal of Symbolic Logic
·
56
Cartesian Differential Categories
2009
·
R.F. Blute
, J.R.B. Cockett
, et al.
·
Theory and applications of categories
·
54
PDF
Category Theory for Linear Logicians
2004
·
Richard Blute
, Philip Scott
·
Cambridge University Press eBooks
·
46
Bisimulation for labelled Markov processes
2002
·
R. Blute
, J. Desharnais
, et al.
·
44
Linear Läuchli semantics
1996
·
R.F. Blute
, P.J. Scott
·
Annals of Pure and Applied Logic
·
43
PDF
Discrete Quantum Causal Dynamics
2003
·
Richard F. Blute
, Ivan T. Ivanov
, et al.
·
International Journal of Theoretical Physics
·
37
PDF
Bisimulation for Labelled Markov Processes
1997
·
Richard Blute
, Josée Desharnais
, et al.
·
BRICS Report Series
·
36
PDF
Hopf algebras and linear logic
1996
·
Richard F. Blute
·
Mathematical Structures in Computer Science
·
35
Differential Categories Revisited
2019
·
R. F. Blute
, J. R. B. Cockett
, et al.
·
Applied Categorical Structures
·
28
PDF
Softness of hypercoherences and MALL full completeness
2004
·
Richard Blute
, Masahiro Hamano
, et al.
·
Annals of Pure and Applied Logic
·
26
PDF
A convenient differential category
2010
·
Blute, Richard
, Ehrhard, Thomas
, et al.
·
arXiv (Cornell University)
·
21
Feedback for linearly distributive categories: traces and fixpoints
2000
·
R.F. Blute
, J.R.B. Cockett
, et al.
·
Journal of Pure and Applied Algebra
·
20
! and ? – Storage as tensorial strength
1996
·
R. F. Blute
, J. R. B. Cockett
, et al.
·
Mathematical Structures in Computer Science
·
20
Cartesian differential storage categories
2015
·
R. Blute
, J.R.B. Cockett
, et al.
·
Theory and applications of categories
·
19
PDF
Categories for computation in context and unified logic
1997
·
R.F. Blute
, J.R.B. Cockett
, et al.
·
Journal of Pure and Applied Algebra
·
18
Holomorphic models of exponential types in linear logic
1994
·
R. F. Blute
, Prakash Panangaden
, et al.
·
Lecture notes in computer science
·
18
Deep Inference and Probabilistic Coherence Spaces
2010
·
Richard Blute
, Prakash Panangaden
, et al.
·
Applied Categorical Structures
·
15
Proof nets and coherence theorems
2005
·
Richard Blute
·
Springer eBooks
·
11
A Logical Basis for Quantum Evolution and Entanglement
2014
·
Richard F. Blute
, Alessio Guglielmi
, et al.
·
Lecture notes in computer science
·
10
The logic of linear functors
2002
·
R. BLUTE
, J. R. B. COCKETT
, et al.
·
Mathematical Structures in Computer Science
·
10
Dagger Categories and Formal Distributions
2010
·
R. Blute
, P. Panangaden
·
Lecture notes in physics
·
9
Show more works
View as search
Works count:
60
Citation count:
985
H-index:
18
I10-index:
24
Year
Topic
Type
