Folgen
Robin Cockett
Robin Cockett
Professor of Computer Science, University of Calgary
Bestätigte E-Mail-Adresse bei ucalgary.ca - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Weakly distributive categories
JRB Cockett, RAG Seely
Journal of Pure and Applied Algebra 114 (2), 133-173, 1997
2511997
Restriction categories I: categories of partial maps
JRB Cockett, S Lack
Theoretical computer science 270 (1-2), 223-259, 2002
2102002
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
1811996
About charity
R Cockett, T Fukushima
Yellow Series Report, 1992
1601992
Differential categories
RF Blute, JRB Cockett, RAG Seely
Mathematical structures in computer science 16 (6), 1049-1083, 2006
1512006
Cartesian differential categories
RF Blute, JRB Cockett, RAG Seely
Theory and Applications of Categories 22 (23), 622-672, 2009
1502009
Strong categorical datatypes I
JRB Cockett, D Spencer
International Meeting on Category Theory 13, 141-169, 1991
1241991
Differential structure, tangent structure, and SDG
JRB Cockett, GSH Cruttwell
Applied Categorical Structures 22, 331-417, 2014
1132014
Shapely types and shape polymorphism
CB Jay, JRB Cockett
European Symposium on Programming, 302-316, 1994
1101994
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
991997
Introduction to distributive categories
JRB Cockett
Mathematical Structures in Computer Science 3 (3), 277-307, 1993
991993
Introduction to Turing categories
JRB Cockett, PJW Hofstra
Annals of pure and applied logic 156 (2-3), 183-209, 2008
702008
Restriction categories II: partial map classification
JRB Cockett, S Lack
Theoretical Computer Science 294 (1-2), 61-102, 2003
682003
Restriction categories III: colimits, partial limits and extensivity
R Cockett, S Lack
Mathematical Structures in Computer Science 17 (4), 775-817, 2007
622007
Linearly distributive functors
JRB Cockett, RAG Seely
Journal of Pure and Applied Algebra 143 (1-3), 155-203, 1999
611999
Introduction to linear bicategories
JRB Cockett, J Koslowski, RAG Seely
Mathematical Structures in Computer Science 10 (2), 165-203, 2000
562000
Strong categorical datatypes II: A term logic for categorical programming
JRB Cockett, D Spencer
Theoretical computer science 139 (1-2), 69-113, 1995
561995
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
561986
List-arithmetic distributive categories: locoi
JRB Cockett
Journal of pure and applied algebra 66 (1), 1-29, 1990
481990
Differential restriction categories
JRB Cockett, GSH Cruttwell, JD Gallagher
arXiv preprint arXiv:1208.4068, 2012
472012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20