Robin Cockett

Cited by

	All	Since 2019
Citations	3325	1116
h-index	28	18
i10-index	66	27

260

130

195

19861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 14 41 33 26 23 33 22 34 52 50 58 40 47 55 42 65 75 45 54 93 70 70 97 113 76 140 86 99 75 88 172 156 209 187 225 174 258 63

Public access

View all

13 articles

1 article

available

not available

Based on funding mandates

Co-authors

R.A.G. SeelyAdjunct Professor, Mathematics, McGill UniversityVerified email at mcgill.ca
Geoff CruttwellMount Allison UniversityVerified email at mta.ca
Stephen LackMacquarie UniversityVerified email at mq.edu.au
J Douglas BirdwellProfessor Emeritus of Electrical Engineering and Computer Science, University of TennesseeVerified email at utk.edu
Priyaa Varshinee SrinivasanPostdoctoral fellow, Topos InstituteVerified email at ucalgary.ca
Cole ComfortPostdoc, Université de LorraineVerified email at univ-lorraine.fr
Dorette PronkProfessor of Mathematics, Dalhousie UniversityVerified email at mathstat.dal.ca
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Luigi SantocanaleAIx-Marseille Université -- LIS UMR CNRS 7020Verified email at lis-lab.fr
Richard GarnerVerified email at mq.edu.au
Masahito HasegawaProfessor, Research Institute for Mathematical Sciences, Kyoto UniversityVerified email at kurims.kyoto-u.ac.jp
RJ WoodDalhousie UniversityVerified email at mathstat.dal.ca
Pierre-Alain JacqminUniversité catholique de LouvainVerified email at uclouvain.be
Chris HeunenUniversity of EdinburghVerified email at ed.ac.uk

Robin Cockett

Professor of Computer Science, University of Calgary

Verified email at ucalgary.ca - Homepage

differential categories linear logic semantics of programming category theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Weakly distributive categories JRB Cockett, RAG Seely Journal of Pure and Applied Algebra 114 (2), 133-173, 1997	248	1997
Restriction categories I: categories of partial maps JRB Cockett, S Lack Theoretical computer science 270 (1-2), 223-259, 2002	215	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	183	1996
About charity R Cockett, T Fukushima Yellow Series Report, 1992	162	1992
Cartesian differential categories RF Blute, JRB Cockett, RAG Seely Theory and Applications of Categories 22 (23), 622-672, 2009	153	2009
Differential categories RF Blute, JRB Cockett, RAG Seely Mathematical structures in computer science 16 (6), 1049-1083, 2006	153	2006
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	115	2014
Shapely types and shape polymorphism CB Jay, JRB Cockett European Symposium on Programming, 302-316, 1994	108	1994
Introduction to distributive categories JRB Cockett Mathematical Structures in Computer Science 3 (3), 277-307, 1993	101	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	100	1997
Introduction to Turing categories JRB Cockett, PJW Hofstra Annals of pure and applied logic 156 (2-3), 183-209, 2008	70	2008
Restriction categories II: partial map classification JRB Cockett, S Lack Theoretical Computer Science 294 (1-2), 61-102, 2003	70	2003
Restriction categories III: colimits, partial limits and extensivity R Cockett, S Lack Mathematical Structures in Computer Science 17 (4), 775-817, 2007	64	2007
Linearly distributive functors JRB Cockett, RAG Seely Journal of Pure and Applied Algebra 143 (1-3), 155-203, 1999	62	1999
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
Introduction to linear bicategories JRB Cockett, J Koslowski, RAG Seely Mathematical Structures in Computer Science 10 (2), 165-203, 2000	56	2000
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
List-arithmetic distributive categories: locoi JRB Cockett Journal of pure and applied algebra 66 (1), 1-29, 1990	49	1990
Reverse derivative categories R Cockett, G Cruttwell, J Gallagher, JSP Lemay, B MacAdam, G Plotkin, ... arXiv preprint arXiv:1910.07065, 2019	48	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors