×

Cockett, J. Robin B.

Compute Distance To:
Author ID: cockett.j-robin-b Recent zbMATH articles by "Cockett, J. Robin B."
Published as: Cockett, J. R. B.; Cockett, J. Robin B.
Documents Indexed: 56 Publications since 1986
Co-Authors: 26 Co-Authors with 49 Joint Publications
280 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

49 Publications have been cited 554 times in 293 Documents Cited by Year
Restriction categories. I: Categories of partial maps. Zbl 0988.18003
Cockett, J. R. B.; Lack, Stephen
72
2002
Weakly distributive categories. Zbl 0867.18008
Cockett, J. R. B.; Seely, R. A. G.
45
1997
Natural deduction and coherence for weakly distributive categories. Zbl 0858.03064
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.; Trimble, T. H.
40
1996
Differential categories. Zbl 1115.03092
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
35
2006
Cartesian differential categories. Zbl 1262.18004
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
29
2009
Restriction categories II: Partial map classification. Zbl 1023.18005
Cockett, J. R. B.; Lack, Stephen
26
2003
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Zbl 0879.03022
Cockett, J. R. B.; Seely, R. A. G.
26
1997
Introduction to distributive categories. Zbl 0793.18006
Cockett, J. R. B.
26
1993
Differential structure, tangent structure, and SDG. Zbl 1304.18031
Cockett, J. R. B.; Cruttwell, G. S. H.
25
2014
Weakly distributive categories. Zbl 0790.18004
Cockett, J. R. B.; Seely, R. A. G.
18
1992
Cartesian differential storage categories. Zbl 1330.18009
Blute, R.; Cockett, J. R. B.; Seely, R. A. G.
15
2015
Strong categorical datatypes. I. Zbl 0792.18008
Cockett, J. Robin B.; Spencer, Dwight
15
1992
Introduction to linear bicategories. Zbl 0991.18007
Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.
14
2000
Linearly distributive functors. Zbl 0946.18005
Cockett, J. R. B.; Seely, R. A. G.
13
1999
Differential restriction categories. Zbl 1260.14004
Cockett, J. R. B.; Cruttwell, G. S. H.; Gallagher, J. D.
13
2011
Introduction to Turing categories. Zbl 1155.03030
Cockett, J. R. B.; Hofstra, P. J. W.
12
2008
Range categories. I: General theory. Zbl 1252.18003
Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter
9
2012
Feedback for linearly distributive categories: Traces and fixpoints. Zbl 0964.03063
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
9
2000
List-arithmetic distributive categories: Locoi. Zbl 0715.18005
Cockett, J. R. B.
9
1990
The Faà di Bruno construction. Zbl 1275.18016
Cockett, J. R. B.; Seely, R. A. G.
8
2011
Integral categories and calculus categories. Zbl 1408.18012
Cockett, J. R. B.; Lemay, J.-S.
7
2019
Polarized category theory, modules, and game semantics. Zbl 1117.03071
Cockett, J. R. B.; Seely, R. A. G.
7
2007
Finite sum-product logic. Zbl 0969.03071
Cockett, J. R. B.; Seely, R. A. G.
7
2001
Connections in tangent categories. Zbl 1374.18016
Cockett, J. R. B.; Cruttwell, G. S. H.
7
2017
Range categories II: Towards regularity. Zbl 1252.18004
Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter
6
2012
Stable meet semilattice fibrations and free restriction categories. Zbl 1106.18003
Cockett, J. R. B.; Guo, Xiuzhan
5
2006
Categorical simulations. Zbl 1192.03020
Cockett, J. R. B.; Hofstra, Pieter J. W.
5
2010
Morphisms and modules for poly-bicategories. Zbl 1022.18006
Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.
5
2003
Strong categorical datatypes II: A term logic for categorical programming. Zbl 0874.68033
Cockett, J. Robin B.; Spencer, Dwight
5
1995
Categories for computation in context and unified logic. Zbl 0879.03021
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
4
1997
Kähler categories. Zbl 1254.13026
Blute, Richard; Cockett, J. R. B.; Porter, Timothy; Seely, R. A. G.
4
2011
Categories with finite limits and stable binary coproducts can be subdirectly decomposed. Zbl 0758.18003
Cockett, J. R. B.
3
1992
Total maps of Turing categories. Zbl 1337.03057
Cockett, J. R. B.; Hofstra, P. J. W.; Hrubeš, P.
3
2014
Discrete decision theory: manipulations. Zbl 0643.68155
Cockett, J. R. B.
3
1987
! and ? – Storage as tensorial strength. Zbl 0860.18004
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
3
1996
Categories for synchrony and asynchrony. Zbl 0910.68119
Cockett, J. R. B.; Spooner, D. A.
2
1995
The logic of linear functors. Zbl 1020.03063
Blute, R.; Cockett, J. R. B.; Seely, R. A. G.
2
2002
On the decidability of objects in a locos. Zbl 0676.03039
Cockett, J. R. B.
2
1989
Decision tree reduction. Zbl 0711.68020
Cockett, J. R. B.; Herrera, J. A.
2
1990
Expert systems techniques in a computer-based control system analysis and design environment. Zbl 0664.93025
Birdwell, J. D.; Cockett, J. R. B.; Heller, R.; Rochelle, R. W.; Laub, A. J.; Athans, M.; Hatfield, L.
2
1986
Differential categories revisited. Zbl 1465.18011
Blute, R. F.; Cockett, J. R. B.; Lemay, Jean-Simon. P.; Seely, Robert A. G.
2
2020
A language for multiplicative-additive linear logic. Zbl 1272.03155
Cockett, J. R. B.; Pastro, C. A.
2
2005
The shuffle quasimonad and modules with differentiation and integration. Zbl 1395.03031
Bagnol, Marc; Blute, Richard; Cockett, J. R. B.; Lemay, J. S.
1
2016
Categorical models of the differential \(\lambda\)-calculus revisited. Zbl 1394.03024
Cockett, J. R. B.; Gallagher, J. D.
1
2016
The logic of message-passing. Zbl 1175.68105
Cockett, J. R. B.; Pastro, Craig
1
2009
The extensive completion of a distributive category. Zbl 1005.18003
Cockett, J. R. B.; Lack, Stephen
1
2001
The Jacobi identity for tangent categories. Zbl 1353.18009
Cockett, J. R. B.; Cruttwell, G. S. H.
1
2015
Modules. Zbl 1035.18003
Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.; Wood, R. J.
1
2003
Decision expression optimization. Zbl 0642.90002
Cockett, J. R. B.
1
1987
Differential categories revisited. Zbl 1465.18011
Blute, R. F.; Cockett, J. R. B.; Lemay, Jean-Simon. P.; Seely, Robert A. G.
2
2020
Integral categories and calculus categories. Zbl 1408.18012
Cockett, J. R. B.; Lemay, J.-S.
7
2019
Connections in tangent categories. Zbl 1374.18016
Cockett, J. R. B.; Cruttwell, G. S. H.
7
2017
The shuffle quasimonad and modules with differentiation and integration. Zbl 1395.03031
Bagnol, Marc; Blute, Richard; Cockett, J. R. B.; Lemay, J. S.
1
2016
Categorical models of the differential \(\lambda\)-calculus revisited. Zbl 1394.03024
Cockett, J. R. B.; Gallagher, J. D.
1
2016
Cartesian differential storage categories. Zbl 1330.18009
Blute, R.; Cockett, J. R. B.; Seely, R. A. G.
15
2015
The Jacobi identity for tangent categories. Zbl 1353.18009
Cockett, J. R. B.; Cruttwell, G. S. H.
1
2015
Differential structure, tangent structure, and SDG. Zbl 1304.18031
Cockett, J. R. B.; Cruttwell, G. S. H.
25
2014
Total maps of Turing categories. Zbl 1337.03057
Cockett, J. R. B.; Hofstra, P. J. W.; Hrubeš, P.
3
2014
Range categories. I: General theory. Zbl 1252.18003
Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter
9
2012
Range categories II: Towards regularity. Zbl 1252.18004
Cockett, J. R. B.; Guo, Xiuzhan; Hofstra, Pieter
6
2012
Differential restriction categories. Zbl 1260.14004
Cockett, J. R. B.; Cruttwell, G. S. H.; Gallagher, J. D.
13
2011
The Faà di Bruno construction. Zbl 1275.18016
Cockett, J. R. B.; Seely, R. A. G.
8
2011
Kähler categories. Zbl 1254.13026
Blute, Richard; Cockett, J. R. B.; Porter, Timothy; Seely, R. A. G.
4
2011
Categorical simulations. Zbl 1192.03020
Cockett, J. R. B.; Hofstra, Pieter J. W.
5
2010
Cartesian differential categories. Zbl 1262.18004
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
29
2009
The logic of message-passing. Zbl 1175.68105
Cockett, J. R. B.; Pastro, Craig
1
2009
Introduction to Turing categories. Zbl 1155.03030
Cockett, J. R. B.; Hofstra, P. J. W.
12
2008
Polarized category theory, modules, and game semantics. Zbl 1117.03071
Cockett, J. R. B.; Seely, R. A. G.
7
2007
Differential categories. Zbl 1115.03092
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
35
2006
Stable meet semilattice fibrations and free restriction categories. Zbl 1106.18003
Cockett, J. R. B.; Guo, Xiuzhan
5
2006
A language for multiplicative-additive linear logic. Zbl 1272.03155
Cockett, J. R. B.; Pastro, C. A.
2
2005
Restriction categories II: Partial map classification. Zbl 1023.18005
Cockett, J. R. B.; Lack, Stephen
26
2003
Morphisms and modules for poly-bicategories. Zbl 1022.18006
Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.
5
2003
Modules. Zbl 1035.18003
Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.; Wood, R. J.
1
2003
Restriction categories. I: Categories of partial maps. Zbl 0988.18003
Cockett, J. R. B.; Lack, Stephen
72
2002
The logic of linear functors. Zbl 1020.03063
Blute, R.; Cockett, J. R. B.; Seely, R. A. G.
2
2002
Finite sum-product logic. Zbl 0969.03071
Cockett, J. R. B.; Seely, R. A. G.
7
2001
The extensive completion of a distributive category. Zbl 1005.18003
Cockett, J. R. B.; Lack, Stephen
1
2001
Introduction to linear bicategories. Zbl 0991.18007
Cockett, J. R. B.; Koslowski, J.; Seely, R. A. G.
14
2000
Feedback for linearly distributive categories: Traces and fixpoints. Zbl 0964.03063
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
9
2000
Linearly distributive functors. Zbl 0946.18005
Cockett, J. R. B.; Seely, R. A. G.
13
1999
Weakly distributive categories. Zbl 0867.18008
Cockett, J. R. B.; Seely, R. A. G.
45
1997
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Zbl 0879.03022
Cockett, J. R. B.; Seely, R. A. G.
26
1997
Categories for computation in context and unified logic. Zbl 0879.03021
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
4
1997
Natural deduction and coherence for weakly distributive categories. Zbl 0858.03064
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.; Trimble, T. H.
40
1996
! and ? – Storage as tensorial strength. Zbl 0860.18004
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
3
1996
Strong categorical datatypes II: A term logic for categorical programming. Zbl 0874.68033
Cockett, J. Robin B.; Spencer, Dwight
5
1995
Categories for synchrony and asynchrony. Zbl 0910.68119
Cockett, J. R. B.; Spooner, D. A.
2
1995
Introduction to distributive categories. Zbl 0793.18006
Cockett, J. R. B.
26
1993
Weakly distributive categories. Zbl 0790.18004
Cockett, J. R. B.; Seely, R. A. G.
18
1992
Strong categorical datatypes. I. Zbl 0792.18008
Cockett, J. Robin B.; Spencer, Dwight
15
1992
Categories with finite limits and stable binary coproducts can be subdirectly decomposed. Zbl 0758.18003
Cockett, J. R. B.
3
1992
List-arithmetic distributive categories: Locoi. Zbl 0715.18005
Cockett, J. R. B.
9
1990
Decision tree reduction. Zbl 0711.68020
Cockett, J. R. B.; Herrera, J. A.
2
1990
On the decidability of objects in a locos. Zbl 0676.03039
Cockett, J. R. B.
2
1989
Discrete decision theory: manipulations. Zbl 0643.68155
Cockett, J. R. B.
3
1987
Decision expression optimization. Zbl 0642.90002
Cockett, J. R. B.
1
1987
Expert systems techniques in a computer-based control system analysis and design environment. Zbl 0664.93025
Birdwell, J. D.; Cockett, J. R. B.; Heller, R.; Rochelle, R. W.; Laub, A. J.; Athans, M.; Hatfield, L.
2
1986
all top 5

Cited by 286 Authors

27 Cockett, J. Robin B.
16 Cockett, Robin
13 Blute, Richard F.
9 Pacaud Lemay, Jean-Simon
9 Scott, Philip J.
8 Kaarsgaard, Robin
8 Lemay, Jean-Simon P.
8 Santocanale, Luigi
7 Garner, Richard
7 Lack, Stephen
6 Cruttwell, G. S. H.
6 Schröder, Lutz
6 Seely, Robert A. G.
5 Goncharov, Sergeĭ Savost’yanovich
5 Gould, Victoria A. R.
5 Hofstra, Pieter J. W.
5 Hyland, J. Martin E.
5 Jackson, Marcel G.
5 Jacobs, Bart
5 Straßburger, Lutz
4 Corradini, Andrea
4 Došen, Kosta
4 Duval, Dominique
4 Gallagher, Jonathan
4 Glück, Robert
4 Hamano, Masahiro
4 Hasegawa, Masahito
4 Jones, Peter R.
4 Ribeiro, Leila
4 Stokes, Timothy E.
3 Comfort, Cole
3 East, James
3 Ehrhard, Thomas
3 Führmann, Carsten
3 Heunen, Chris
3 Jay, C. Barry
3 Kamide, Norihiro
3 Lucyshyn-Wright, Rory B. B.
3 Manes, Ernie G.
3 Manzonetto, Giulio
3 Melliès, Paul-André
3 Petrić, Zoran
3 Pronk, Dorette A.
3 Prost, Frédéric
3 Rauch, Christoph
3 Slavnov, Sergey
3 Street, Ross H.
3 Tholen, Walter
3 Vicary, Jamie
2 Axelsen, Holger Bock
2 Balan, Adriana
2 de Oliveira, Anjolina Grisi
2 de Paiva, Valeria
2 De Queiroz, Ruy José Guerra Barretto
2 Dolinka, Igor
2 Dunn, Lawrence
2 Dupont, Benjamin
2 Đurđev, Ivana
2 Echahed, Rachid
2 Egger, Jeffrey M.
2 Fiore, Marcelo P.
2 Gomes, Gracinda M. S.
2 Gouveia, Maria João
2 Hadzihasanovic, Amar
2 Haghverdi, Esfandiar
2 Hasuo, Ichiro
2 Heijltjes, Willem B.
2 Hollings, Christopher David
2 Honyam, Preeyanuch
2 Hosseini, Seyed Naser
2 Hrubeš, Pavel
2 Kambites, Mark
2 Kerjean, Marie
2 Khovanov, Mikhail G.
2 Kudryavtseva, Ganna
2 Lauda, Aaron D.
2 Lawson, Mark Verus
2 Leung, Poon
2 Levy, Paul Blain
2 Lin, Daniel W.
2 López Franco, Ignacio L.
2 Maieli, Roberto
2 Maietti, Maria Emilia
2 Meseguer Guaita, José
2 Mikulás, Szabolcs
2 Moortgat, Michael
2 Panangaden, Prakash
2 Pavlović, Duško
2 Paykin, Jennifer
2 Peterson, Clayton
2 Plotkin, Gordon D.
2 Power, John
2 Pym, David J.
2 Redmond, Brian F.
2 Ren, Xueming
2 Sangkhanan, Kritsada
2 Sanwong, Jintana
2 Shulman, Michael A.
2 Shum, Kar-Ping
2 Solov’ëv, Sergeĭ Vladimirovich
...and 186 more Authors
all top 5

Cited in 46 Serials

31 Journal of Pure and Applied Algebra
30 Theoretical Computer Science
29 MSCS. Mathematical Structures in Computer Science
18 Annals of Pure and Applied Logic
17 Theory and Applications of Categories
13 Applied Categorical Structures
8 Advances in Mathematics
8 Logical Methods in Computer Science
6 Semigroup Forum
6 Information and Computation
6 Journal of Logical and Algebraic Methods in Programming
4 Communications in Algebra
4 International Journal of Algebra and Computation
3 Journal of Philosophical Logic
2 Algebra Universalis
2 Automatica
2 Proceedings of the Edinburgh Mathematical Society. Series II
2 Journal of Applied Non-Classical Logics
2 The Bulletin of Symbolic Logic
2 RAIRO. Theoretical Informatics and Applications
2 Logica Universalis
1 Bulletin of the Australian Mathematical Society
1 International Journal of Theoretical Physics
1 Information Processing Letters
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Acta Mathematica Vietnamica
1 International Journal of Mathematics and Mathematical Sciences
1 Journal of Algebra
1 The Journal of Symbolic Logic
1 Studia Logica
1 Topology and its Applications
1 Science of Computer Programming
1 New Generation Computing
1 Science in China. Series A
1 International Journal of Foundations of Computer Science
1 Archive for Mathematical Logic
1 Algebra Colloquium
1 Higher-Order and Symbolic Computation
1 Probability in the Engineering and Informational Sciences
1 Journal of the Australian Mathematical Society
1 Journal of Algebra and its Applications
1 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications
1 Journal of Homotopy and Related Structures
1 Japanese Journal of Mathematics. 3rd Series
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Mathematics

Citations by Year