default search action
J. Robin B. Cockett
Person information
- affiliation: University of Calgary, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c28]J. Robin B. Cockett, Amolak Ratan Kalra, Priyaa Varshinee Srinivasan:
Normalizing Resistor Networks. ACT 2023: 70-83 - [c27]J. Robin B. Cockett, Jean-Simon Pacaud Lemay
:
Moore-Penrose Dagger Categories. QPL 2023: 171-186 - [i7]J. Robin B. Cockett, Jean-Simon Pacaud Lemay:
Classical Distributive Restriction Categories. CoRR abs/2305.16524 (2023) - 2022
- [c26]J. Robin B. Cockett, Isabelle Jianing Geng, Carlo Maria Scandolo, Priyaa Varshinee Srinivasan:
Extending Resource Monotones using Kan Extensions. ACT 2022: 203-223 - 2021
- [j24]J. Robin B. Cockett, Geoff S. H. Cruttwell
Differential Equations in a Tangent Category I: Complete Vector Fields, Flows, and Exponentials. Appl. Categorical Struct. 29(5): 773-825 (2021) - [j23]J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan:
Dagger linear logic for categorical quantum mechanics. Log. Methods Comput. Sci. 17(4) (2021) - [c25]J. Robin B. Cockett, Priyaa Varshinee Srinivasan:
Exponential Modalities and Complementarity (extended abstract). ACT 2021: 207-220 - 2020
- [j22]Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay
Differential Categories Revisited. Appl. Categorical Struct. 28(2): 171-235 (2020) - [c24]J. Robin B. Cockett, Jean-Simon Pacaud Lemay
Tangent Categories from the Coalgebras of Differential Categories. CSL 2020: 17:1-17:17 - [c23]J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay
Reverse Derivative Categories. CSL 2020: 18:1-18:16 - [i6]J. Robin B. Cockett, Jean-Simon Pacaud Lemay:
Linearizing Combinators. CoRR abs/2010.15490 (2020)
2010 – 2019
- 2019
- [j21]J. Robin B. Cockett, Jean-Simon Lemay
Integral categories and calculus categories. Math. Struct. Comput. Sci. 29(2): 243-308 (2019) - [j20]J. Robin B. Cockett, Jonathan Gallagher:
Categorical models of the differential λ-calculus. Math. Struct. Comput. Sci. 29(10): 1513-1555 (2019) - [i5]J. Robin B. Cockett, Priyaa V. Srinivasan:
Complete Positivity for Mixed Unitary Categories. CoRR abs/1905.08877 (2019) - [i4]J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk:
Reverse derivative categories. CoRR abs/1910.07065 (2019) - 2018
- [c22]Cole Comfort, J. Robin B. Cockett:
The category TOF. QPL 2018: 67-84 - [c21]Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott:
Finiteness Spaces and Generalized Power Series. MFPS 2018: 5-22 - [c20]J. Robin B. Cockett, Jean-Simon Lemay:
Cartesian Integral Categories and Contextual Integral Categories. MFPS 2018: 45-72 - 2017
- [c19]J. Robin B. Cockett, Jean-Simon Lemay
Integral Categories and Calculus Categories. CSL 2017: 20:1-20:17 - [c18]J. Robin B. Cockett, Jean-Simon Lemay
There Is Only One Notion of Differentiation. FSCD 2017: 13:1-13:21 - [c17]J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan:
The Category CNOT. QPL 2017: 258-293 - 2016
- [c16]Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay:
The Shuffle Quasimonad and Modules with Differentiation and Integration. MFPS 2016: 29-45 - [c15]J. Robin B. Cockett, Jonathan Gallagher:
Categorical Models of the Differential λ-Calculus Revisited. MFPS 2016: 63-83 - 2014
- [j19]J. Robin B. Cockett, Geoff S. H. Cruttwell:
Differential Structure, Tangent Structure, and SDG. Appl. Categorical Struct. 22(2): 331-417 (2014) - [j18]Mike Burrell, J. Robin B. Cockett, Brian F. Redmond:
Safe recursion revisited I: Categorical semantics for lower complexity. Theor. Comput. Sci. 515: 19-45 (2014) - [j17]J. Robin B. Cockett, Richard Garner
Restriction categories as enriched categories. Theor. Comput. Sci. 523: 37-55 (2014) - [c14]J. Robin B. Cockett, Pieter J. W. Hofstra, Pavel Hrubes:
Total Maps of Turing Categories. MFPS 2014: 129-146 - 2012
- [c13]J. Robin B. Cockett, Joaquín Díaz-Boïls
Timed Sets, Functional Complexity, and Computability. MFPS 2012: 117-137 - [i3]J. Robin B. Cockett, Richard Garner:
Restriction categories as enriched categories. CoRR abs/1211.6170 (2012) - 2010
- [c12]Pieter J. W. Hofstra, J. Robin B. Cockett:
Unitary Theories, Unitary Categories. MFPS 2010: 11-33 - [c11]J. Robin B. Cockett, Brian F. Redmond:
A Categorical Setting for Lower Complexity. MFPS 2010: 277-300
2000 – 2009
- 2009
- [j16]J. Robin B. Cockett, Ernie Manes:
Boolean and classical restriction categories. Math. Struct. Comput. Sci. 19(2): 357-416 (2009) - [j15]J. Robin B. Cockett, Craig A. Pastro:
The logic of message-passing. Sci. Comput. Program. 74(8): 498-533 (2009) - [c10]J. Robin B. Cockett, Luigi Santocanale
On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. CSL 2009: 194-208 - [c9]Michael J. Burrell, J. Robin B. Cockett, Brian F. Redmond:
Pola: A Language for PTIME Programming. FICS 2009: 7-8 - [i2]Luigi Santocanale, J. Robin B. Cockett:
On the word problem for SP-categories, and the properties of two-way communication. CoRR abs/0904.1529 (2009) - 2008
- [j14]J. Robin B. Cockett, Pieter J. W. Hofstra:
Introduction to Turing categories. Ann. Pure Appl. Log. 156(2-3): 183-209 (2008) - 2007
- [j13]J. Robin B. Cockett, Stephen Lack
Restriction categories III: colimits, partial limits and extensivity. Math. Struct. Comput. Sci. 17(4): 775-817 (2007) - [i1]J. Robin B. Cockett, Craig A. Pastro:
The logic of message passing. CoRR abs/math/0703713 (2007) - 2006
- [j12]Richard Blute, J. Robin B. Cockett, Robert A. G. Seely:
Differential categories. Math. Struct. Comput. Sci. 16(6): 1049-1083 (2006) - [c8]J. Robin B. Cockett:
What Is a Good Process Semantics? MPC 2006: 1-3 - 2004
- [c7]J. Robin B. Cockett, Craig A. Pastro:
A Language For Multiplicative-additive Linear Logic. CTCS 2004: 23-65 - 2003
- [j11]J. Robin B. Cockett, Stephen Lack
Restriction categories II: partial map classification. Theor. Comput. Sci. 294(1/2): 61-102 (2003) - 2002
- [j10]Richard Blute, J. Robin B. Cockett, Robert A. G. Seely:
The Logic of Linear Functors. Math. Struct. Comput. Sci. 12(4): 513-539 (2002) - [j9]J. Robin B. Cockett, Stephen Lack
Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270(1-2): 223-259 (2002) - [c6]J. Robin B. Cockett, Luigi Santocanale
Induction, Coinduction, and Adjoints. CTCS 2002: 101-119 - 2001
- [c5]J. Robin B. Cockett:
Deforestation, program transformation, and cut-elimination. CMCS 2001: 88-127 - 2000
- [j8]J. Robin B. Cockett, Jürgen Koslowski, Robert A. G. Seely:
Introduction to linear bicategories. Math. Struct. Comput. Sci. 10(2): 165-203 (2000)
1990 – 1999
- 1997
- [j7]J. Robin B. Cockett, David A. Spooner:
Constructing Process Categories. Theor. Comput. Sci. 177(1): 73-109 (1997) - 1996
- [j6]Richard Blute, J. Robin B. Cockett, Robert A. G. Seely:
! and ? - Storage as Tensorial Strength. Math. Struct. Comput. Sci. 6(4): 313-351 (1996) - 1995
- [j5]J. Robin B. Cockett, Dwight Spencer:
Strong Categorical Datatypes II: A Term Logic for Categorical Programming. Theor. Comput. Sci. 139(1&2): 69-113 (1995) - [c4]J. Robin B. Cockett, David A. Spooner:
Categories for synchrony and asynchrony. MFPS 1995: 66-90 - 1994
- [c3]J. Robin B. Cockett, David A. Spooner:
SProc Categorically. CONCUR 1994: 146-159 - [c2]C. Barry Jay, J. Robin B. Cockett:
Shapely Types and Shape Polymorphism. ESOP 1994: 302-316 - 1993
- [j4]J. Robin B. Cockett:
Introduction to Distributive Categories. Math. Struct. Comput. Sci. 3(3): 277-307 (1993) - 1990
- [j3]J. Robin B. Cockett, J. A. Hierrera:
Decision Tree Reduction. J. ACM 37(4): 815-842 (1990)
1980 – 1989
- 1987
- [j2]J. Robin B. Cockett:
Discrete Decision Theory: Manipulations. Theor. Comput. Sci. 54: 215-236 (1987) - 1986
- [c1]J. Robin B. Cockett, J. Herrera:
Prime rule-based methodologies give inadequate control. ISMIS 1986: 441-449 - 1985
- [j1]J. Robin B. Cockett:
File handling for detail and extent and for subtasks in the implementation of decision processes. Inf. Sci. 37(1-3): 157-168 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-11 20:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: