| Weakly distributive categories JRB Cockett, RAG Seely Journal of Pure and Applied Algebra 114 (2), 133-173, 1997 | 249 | 1997 |
| Restriction categories I: categories of partial maps JRB Cockett, S Lack Theoretical computer science 270 (1-2), 223-259, 2002 | 230 | 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 | 194 | 1996 |
| Differential categories RF Blute, JRB Cockett, RAG Seely Mathematical structures in computer science 16 (6), 1049-1083, 2006 | 164 | 2006 |
| About charity R Cockett, T Fukushima Yellow Series Report, 1992 | 164 | 1992 |
| Cartesian differential categories RF Blute, JRB Cockett, RAG Seely Theory and Applications of Categories 22 (23), 622-672, 2009 | 154 | 2009 |
| Differential structure, tangent structure, and SDG JRB Cockett, GSH Cruttwell Applied Categorical Structures 22 (2), 331-417, 2014 | 129 | 2014 |
| Strong categorical datatypes I JRB Cockett, D Spencer International Meeting on Category Theory 13, 141-169, 1991 | 124 | 1991 |
| Shapely types and shape polymorphism CB Jay, JRB Cockett European Symposium on Programming, 302-316, 1994 | 111 | 1994 |
| Introduction to distributive categories JRB Cockett Mathematical Structures in Computer Science 3 (3), 277-307, 1993 | 105 | 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 | 104 | 1997 |
| Restriction categories II: partial map classification JRB Cockett, S Lack Theoretical Computer Science 294 (1-2), 61-102, 2003 | 74 | 2003 |
| Linearly distributive functors JRB Cockett, RAG Seely Journal of Pure and Applied Algebra 143 (1-3), 155-203, 1999 | 73 | 1999 |
| Introduction to Turing categories JRB Cockett, PJW Hofstra Annals of pure and applied logic 156 (2-3), 183-209, 2008 | 70 | 2008 |
| Restriction categories III: colimits, partial limits and extensivity R Cockett, S Lack Mathematical Structures in Computer Science 17 (4), 775-817, 2007 | 70 | 2007 |
| Introduction to linear bicategories JRB Cockett, J Koslowski, RAG Seely Mathematical Structures in Computer Science 10 (2), 165-203, 2000 | 62 | 2000 |
| Strong categorical datatypes II: A term logic for categorical programming JRB Cockett, D Spencer Theoretical computer science 139 (1-2), 69-113, 1995 | 58 | 1995 |
| Reverse derivative categories R Cockett, G Cruttwell, J Gallagher, JSP Lemay, B MacAdam, G Plotkin, ... arXiv preprint arXiv:1910.07065, 2019 | 56 | 2019 |
| 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 | 55 | 1986 |
| List-arithmetic distributive categories: locoi JRB Cockett Journal of pure and applied algebra 66 (1), 1-29, 1990 | 49 | 1990 |
R.A.G. SeelyAdjunct Professor, Mathematics, McGill Universitymcgill.ca의 이메일 확인됨
