J. Robin B. Cockett

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 21

Top Topics

Cut Elimination

Quantum Mechanics

Broad Categories

Binary Variables

Top Venues

Appl. Categorical Struct.

Publications

J. Robin B. Cockett, Amolak Ratan Kalra, Priyaa Varshinee Srinivasan
Normalizing Resistor Networks. ACT (2023)
J. Robin B. Cockett, Isabelle Jianing Geng, Carlo Maria Scandolo, Priyaa Varshinee Srinivasan
Extending Resource Monotones using Kan Extensions. ACT (2022)
J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan
Dagger linear logic for categorical quantum mechanics. Log. Methods Comput. Sci. 17 (4) (2021)
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jean-Simon Lemay
Differential Equations in a Tangent Category I: Complete Vector Fields, Flows, and Exponentials. Appl. Categorical Struct. 29 (5) (2021)
J. Robin B. Cockett, Priyaa Varshinee Srinivasan
Exponential Modalities and Complementarity (extended abstract). CoRR (2021)
Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely
Differential Categories Revisited. Appl. Categorical Struct. 28 (2) (2020)
J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright
Tangent Categories from the Coalgebras of Differential Categories. CSL (2020)
J. Robin B. Cockett, Jean-Simon Pacaud Lemay
Linearizing Combinators. CoRR (2020)
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
Reverse Derivative Categories. CSL (2020)
J. Robin B. Cockett, Jean-Simon Lemay
Integral categories and calculus categories. Math. Struct. Comput. Sci. 29 (2) (2019)
J. Robin B. Cockett, Priyaa V. Srinivasan
Complete Positivity for Mixed Unitary Categories. CoRR (2019)
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 (2019)
J. Robin B. Cockett, Jonathan Gallagher
Categorical models of the differential λ-calculus. Math. Struct. Comput. Sci. 29 (10) (2019)
Cole Comfort, J. Robin B. Cockett
The category TOF. QPL (2018)
Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott
Finiteness Spaces and Generalized Power Series. MFPS (2018)
J. Robin B. Cockett, Jean-Simon Lemay
Cartesian Integral Categories and Contextual Integral Categories. MFPS (2018)
J. Robin B. Cockett, Jean-Simon Lemay
There Is Only One Notion of Differentiation. FSCD (2017)
J. Robin B. Cockett, Jean-Simon Lemay
Integral Categories and Calculus Categories. CSL (2017)
J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan
The Category CNOT. QPL (2017)
Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay
The Shuffle Quasimonad and Modules with Differentiation and Integration. MFPS (2016)
J. Robin B. Cockett, Jonathan Gallagher
Categorical Models of the Differential λ-Calculus Revisited. MFPS (2016)
Mike Burrell, J. Robin B. Cockett, Brian F. Redmond
Safe recursion revisited I: Categorical semantics for lower complexity. Theor. Comput. Sci. 515 (2014)
J. Robin B. Cockett, Pieter J. W. Hofstra, Pavel Hrubes
Total Maps of Turing Categories. MFPS (2014)
J. Robin B. Cockett, Geoff S. H. Cruttwell
Differential Structure, Tangent Structure, and SDG. Appl. Categorical Struct. 22 (2) (2014)
J. Robin B. Cockett, Richard Garner
Restriction categories as enriched categories. Theor. Comput. Sci. 523 (2014)
J. Robin B. Cockett, Joaquín Díaz-Boïls, Jonathan Gallagher, Pavel Hrubes
Timed Sets, Functional Complexity, and Computability. MFPS (2012)
J. Robin B. Cockett, Richard Garner
Restriction categories as enriched categories CoRR (2012)
J. Robin B. Cockett, Brian F. Redmond
A Categorical Setting for Lower Complexity. MFPS (2010)
Pieter J. W. Hofstra, J. Robin B. Cockett
Unitary Theories, Unitary Categories. MFPS (2010)
Luigi Santocanale, J. Robin B. Cockett
On the word problem for SP-categories, and the properties of two-way communication CoRR (2009)
J. Robin B. Cockett, Ernie Manes
Boolean and classical restriction categories. Math. Struct. Comput. Sci. 19 (2) (2009)
J. Robin B. Cockett, Luigi Santocanale
On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. CSL (2009)
Michael J. Burrell, J. Robin B. Cockett, Brian F. Redmond
Pola: A Language for PTIME Programming. FICS (2009)
J. Robin B. Cockett, Craig A. Pastro
The logic of message-passing. Sci. Comput. Program. 74 (8) (2009)
J. Robin B. Cockett, Pieter J. W. Hofstra
Introduction to Turing categories. Ann. Pure Appl. Log. 156 (2-3) (2008)
J. Robin B. Cockett, Craig A. Pastro
The logic of message passing CoRR (2007)
J. Robin B. Cockett, Stephen Lack
Restriction categories III: colimits, partial limits and extensivity. Math. Struct. Comput. Sci. 17 (4) (2007)
J. Robin B. Cockett
What Is a Good Process Semantics? MPC (2006)
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
Differential categories. Math. Struct. Comput. Sci. 16 (6) (2006)
J. Robin B. Cockett, Craig A. Pastro
A Language For Multiplicative-additive Linear Logic. CTCS (2004)
J. Robin B. Cockett, Stephen Lack
Restriction categories II: partial map classification. Theor. Comput. Sci. 294 (1/2) (2003)
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
The Logic of Linear Functors. Math. Struct. Comput. Sci. 12 (4) (2002)
J. Robin B. Cockett, Luigi Santocanale
Induction, Coinduction, and Adjoints. CTCS (2002)
J. Robin B. Cockett, Stephen Lack
Restriction categories I: categories of partial maps. Theor. Comput. Sci. 270 (1-2) (2002)
J. Robin B. Cockett
Deforestation, program transformation, and cut-elimination. CMCS (2001)
J. Robin B. Cockett, Jürgen Koslowski, Robert A. G. Seely
Introduction to linear bicategories. Math. Struct. Comput. Sci. 10 (2) (2000)
J. Robin B. Cockett, David A. Spooner
Constructing Process Categories. Theor. Comput. Sci. 177 (1) (1997)
Richard Blute, J. Robin B. Cockett, Robert A. G. Seely
! and ? - Storage as Tensorial Strength. Math. Struct. Comput. Sci. 6 (4) (1996)
J. Robin B. Cockett, Dwight Spencer
Strong Categorical Datatypes II: A Term Logic for Categorical Programming. Theor. Comput. Sci. 139 (1&2) (1995)
J. Robin B. Cockett, David A. Spooner
Categories for synchrony and asynchrony. MFPS (1995)
C. Barry Jay, J. Robin B. Cockett
Shapely Types and Shape Polymorphism. ESOP (1994)
J. Robin B. Cockett, David A. Spooner
SProc Categorically. CONCUR (1994)
J. Robin B. Cockett
Introduction to Distributive Categories. Math. Struct. Comput. Sci. 3 (3) (1993)
J. Robin B. Cockett, J. A. Hierrera
Decision Tree Reduction J. ACM 37 (4) (1990)
J. Robin B. Cockett
Discrete Decision Theory: Manipulations. Theor. Comput. Sci. 54 (1987)
J. Robin B. Cockett, J. Herrera
Prime rule-based methodologies give inadequate control. ISMIS (1986)
J. Robin B. Cockett
File handling for detail and extent and for subtasks in the implementation of decision processes. Inf. Sci. 37 (1-3) (1985)