Richard Blute
- Natural deduction and coherence for weakly distributive categories
1996/12/01 by Richard Blute, R.F. Blute, J.R.B. Cockett +4 · 14 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Homotopy and Cohomology in Algebraic Topology
- Deep Inference and Probabilistic Coherence Spaces
2010/12/23 by Richard Blute, Prakash Panangaden, Sergey Slavnov · 1 citation
- Differential Categories Revisited
2018/06/13 by Richard Blute, Blute, R. F., J.R.B. Cockett +5 · 1 citation
Mathematics · Computer Science · #Advanced Topics in Algebra #Logic, programming, and type systems #Homotopy and Cohomology in Algebraic Topology
- Differential Categories Revisited
2019/07/04 by R. F. Blute, Richard Blute, J. R. B. Cockett +4 · 1 citation
Computer Science · Mathematics · #Advanced Topics in Algebra #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems