- Category Theory for Linear Logicians Richard Blute Philip Scott y
- Proof Nets as Formal Feynman Diagrams Richard Blute1
- CARTESIAN DIFFERENTIAL CATEGORIES R.F. BLUTE, J.R.B. COCKETT AND R.A.G. SEELY
- Discrete Quantum Causal Dynamics Richard F. Blute , Ivan T. Ivanov y , Prakash Panangaden z
- The Shu e Hopf Algebra and Noncommutative Full Completeness
- Differential categories R.F. BLUTE,1
- Nuclear and Trace Ideals in Tensored \LambdaCategories Samson Abramsky \Lambda
- arXiv:grqc/0111020 Decoherent histories on graphs
- Categories for computation in context and unified logic
- Kahler Categories Richard Blute J.R.B. Cockett
- Natural deduction and coherence for weakly distributive categories
- Math. Struct. in Comp. Science (1996), vol. 6, pp. 313--351 Copyright c fl Cambridge University Press
- Technical Report Softness of Hypercoherences and MALL Full
- A convenient differential category Richard Blute
- Theory and Applications of Categories, Vol. 10, No. 17, 2002, pp. 424--460. ENTROPIC HOPF ALGEBRAS AND MODELS OF
- Shape theory for nuclear ideals Richard Blute
- Math. Struct. in Comp. Science (2002), vol. 12, pp. 513--539. c , 2002 Cambridge University Press
- Linear Lauchli Semantics R. F. Blute P. J. Scott
- Hopf Algebras and Linear Logic Richard F. Blute
- GDP Festschrift ENTCS, to appear Conformal field theory as a nuclear functor
- Kahler Categories Richard Blute
- Feedback for linearly distributive categories: traces and xpoints
- Dagger categories and formal distributions Richard Blute1
- Deep inference and probabilistic coherence spaces
- A logical basis for quantum evolution and entanglement
- A convenient differential category Richard Blute
- Appl Categor Struct DOI 10.1007/s10485-010-9241-0
