Weakly distributive categories JRB Cockett, RAG Seely Journal of Pure and Applied Algebra 114 (2), 133-173, 1997 | 251 | 1997 |
Restriction categories I: categories of partial maps JRB Cockett, S Lack Theoretical computer science 270 (1-2), 223-259, 2002 | 219 | 2002 |
Natural deduction and coherence for weakly distributive categories RF Blute, JRB Cockett, RAG Seely, TH Trimble Journal of Pure and Applied Algebra 113 (3), 229-296, 1996 | 184 | 1996 |
About charity R Cockett, T Fukushima Yellow Series Report, 1992 | 162 | 1992 |
Differential categories RF Blute, JRB Cockett, RAG Seely Mathematical structures in computer science 16 (6), 1049-1083, 2006 | 161 | 2006 |
Cartesian differential categories RF Blute, JRB Cockett, RAG Seely Theory and Applications of Categories 22 (23), 622-672, 2009 | 156 | 2009 |
Strong categorical datatypes I JRB Cockett, D Spencer International Meeting on Category Theory 13, 141-169, 1991 | 121 | 1991 |
Differential structure, tangent structure, and SDG JRB Cockett, GSH Cruttwell Applied Categorical Structures 22 (2), 331-417, 2014 | 119 | 2014 |
Shapely types and shape polymorphism CB Jay, JRB Cockett European Symposium on Programming, 302-316, 1994 | 110 | 1994 |
Introduction to distributive categories JRB Cockett Mathematical Structures in Computer Science 3 (3), 277-307, 1993 | 102 | 1993 |
Proof theory for full intuitionistic linear logic, bilinear logic, and mix categories JRB Cockett, RAG Seely Theory and Applications of categories 3 (5), 85-131, 1997 | 101 | 1997 |
Introduction to Turing categories JRB Cockett, PJW Hofstra Annals of pure and applied logic 156 (2-3), 183-209, 2008 | 72 | 2008 |
Restriction categories II: partial map classification JRB Cockett, S Lack Theoretical Computer Science 294 (1-2), 61-102, 2003 | 71 | 2003 |
Restriction categories III: colimits, partial limits and extensivity R Cockett, S Lack Mathematical Structures in Computer Science 17 (4), 775-817, 2007 | 65 | 2007 |
Linearly distributive functors JRB Cockett, RAG Seely Journal of Pure and Applied Algebra 143 (1-3), 155-203, 1999 | 65 | 1999 |
Introduction to linear bicategories JRB Cockett, J Koslowski, RAG Seely Mathematical Structures in Computer Science 10 (2), 165-203, 2000 | 60 | 2000 |
Expert systems techniques in a computer-based control system analysis and design environment JD Birdwell, JRB Cockett, R Heller, RW Rochelle, AJ Laub, M Athans, ... Computer Aided Design in Control and Engineering Systems, 1-8, 1986 | 57 | 1986 |
Strong categorical datatypes II: A term logic for categorical programming JRB Cockett, D Spencer Theoretical computer science 139 (1-2), 69-113, 1995 | 56 | 1995 |
Reverse derivative categories R Cockett, G Cruttwell, J Gallagher, JSP Lemay, B MacAdam, G Plotkin, ... arXiv preprint arXiv:1910.07065, 2019 | 50 | 2019 |
List-arithmetic distributive categories: locoi JRB Cockett Journal of pure and applied algebra 66 (1), 1-29, 1990 | 49 | 1990 |