R. A. G. Seely
- Weakly distributive categories
1997/01/01 by J.R.B. Cockett, R. A. G. Seely, R.A.G. Seely · 12 citations
Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic
- Natural deduction and coherence for weakly distributive categories
1996/12/01 by R.F. Blute, Richard 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
- Linearly distributive functors
1999/11/01 by J.R.B. Cockett, R.A.G. Seely, R. A. G. Seely · 3 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge
- Differential Categories Revisited
2018/06/13 by Richard Blute, J.R.B. Cockett, Blute, R. F. +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