R.A.G. Seely

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