| Linear logic,*-autonomous categories and cofree coalgebras RAG Seely Ste. Anne de Bellevue, Quebec: CEGEP John Abbott College, 1987 | 464 | 1987 |
| Locally cartesian closed categories and type theory RAG Seely Mathematical proceedings of the Cambridge philosophical society 95 (1), 33-48, 1984 | 346 | 1984 |
| Weakly distributive categories JRB Cockett, RAG Seely Journal of Pure and Applied Algebra 114 (2), 133-173, 1997 | 252 | 1997 |
| Categorical semantics for higher order polymorphic lambda calculus RAG Seely The Journal of Symbolic Logic 52 (4), 969-989, 1987 | 196 | 1987 |
| 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 | 189 | 1996 |
| Differential categories RF Blute, JRB Cockett, RAG Seely Mathematical structures in computer science 16 (6), 1049-1083, 2006 | 164 | 2006 |
| Cartesian differential categories RF Blute, JRB Cockett, RAG Seely Theory and Applications of Categories 22 (23), 622-672, 2009 | 159 | 2009 |
| Hyperdoctrines, natural deduction and the Beck condition RAG Seely Mathematical Logic Quarterly 29 (10), 505-542, 1983 | 126 | 1983 |
| 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 |
| Modelling computations: a 2-categorical framework RAG Seely LICS, 65-71, 1987 | 101 | 1987 |
| Linearly distributive functors JRB Cockett, RAG Seely Journal of Pure and Applied Algebra 143 (1-3), 155-203, 1999 | 70 | 1999 |
| Introduction to linear bicategories JRB Cockett, J Koslowski, RAG Seely Mathematical Structures in Computer Science 10 (2), 165-203, 2000 | 62 | 2000 |
| Differential categories revisited RF Blute, JRB Cockett, JSP Lemay, RAG Seely Applied Categorical Structures 28, 171-235, 2020 | 49 | 2020 |
| A logical view of concurrent constraint programming NP Mendler, P Panangaden, PJ Scott, RAG Seely Nord. J. Comput. 2 (2), 181-220, 1995 | 42 | 1995 |
| Finite sum-product logic JRB Cockett, RAG Seely Theory and Applications of Categories 8 (5), 63-99, 2001 | 40 | 2001 |
| Polarized category theory, modules, and game semantics R Cockett, R Seely Theory and Applications of Categories 18 (2), 4-101, 2007 | 38 | 2007 |
| Cartesian differential storage categories R Blute, R Cockett, R Seely arXiv preprint arXiv:1405.6973, 2014 | 35 | 2014 |
| The Faa di bruno construction JRB Cockett, RAG Seely Theory and applications of categories 25 (15), 394-425, 2011 | 35 | 2011 |
| A hyperdoctrinal view of concurrent constraint programming P Panangaden, V Saraswat, PJ Scott, RAG Seely Semantics: Foundations and Applications: REX Workshop Beekbergen, The …, 1993 | 31 | 1993 |
| ! and?–Storage as tensorial strength RF Blute, JRB Cockett, RAG Seely Mathematical Structures in Computer Science 6 (4), 313-351, 1996 | 29 | 1996 |
