File handling for detail and extent and for subtasks in the implementation of decision processes. - J. Robin B. Cockett (Inf. Sci., 1985)

Prime rule-based methodologies give inadequate control. - J. Robin B. Cockett; J. Herrera (ISMIS, 1986)

Discrete Decision Theory: Manipulations. - J. Robin B. Cockett (Theor. Comput. Sci., 1987)

Decision Tree Reduction - J. Robin B. Cockett; J. A. Hierrera (J. ACM, 1990)

Introduction to Distributive Categories. - J. Robin B. Cockett (Math. Struct. Comput. Sci., 1993)

SProc Categorically. - J. Robin B. Cockett; David A. Spooner (CONCUR, 1994)

Shapely Types and Shape Polymorphism. - C. Barry Jay; J. Robin B. Cockett (ESOP, 1994)

Categories for synchrony and asynchrony. - J. Robin B. Cockett; David A. Spooner (MFPS, 1995)

Strong Categorical Datatypes II: A Term Logic for Categorical Programming. - J. Robin B. Cockett; Dwight Spencer (Theor. Comput. Sci., 1995)

! and ? - Storage as Tensorial Strength. - Richard Blute; J. Robin B. Cockett; Robert A. G. Seely (Math. Struct. Comput. Sci., 1996)

Constructing Process Categories. - J. Robin B. Cockett; David A. Spooner (Theor. Comput. Sci., 1997)

Introduction to linear bicategories. - J. Robin B. Cockett; Jürgen Koslowski; Robert A. G. Seely (Math. Struct. Comput. Sci., 2000)

Deforestation, program transformation, and cut-elimination. - J. Robin B. Cockett (CMCS, 2001)

Induction, Coinduction, and Adjoints. - J. Robin B. Cockett; Luigi Santocanale (CTCS, 2002)

The Logic of Linear Functors. - Richard Blute; J. Robin B. Cockett; Robert A. G. Seely (Math. Struct. Comput. Sci., 2002)

Restriction categories I: categories of partial maps. - J. Robin B. Cockett; Stephen Lack (Theor. Comput. Sci., 2002)

Restriction categories II: partial map classification. - J. Robin B. Cockett; Stephen Lack (Theor. Comput. Sci., 2003)

A Language For Multiplicative-additive Linear Logic. - J. Robin B. Cockett; Craig A. Pastro (CTCS, 2004)

What Is a Good Process Semantics? - J. Robin B. Cockett (MPC, 2006)

Differential categories. - Richard Blute; J. Robin B. Cockett; Robert A. G. Seely (Math. Struct. Comput. Sci., 2006)

Restriction categories III: colimits, partial limits and extensivity. - J. Robin B. Cockett; Stephen Lack (Math. Struct. Comput. Sci., 2007)

Introduction to Turing categories. - J. Robin B. Cockett; Pieter J. W. Hofstra (Ann. Pure Appl. Log., 2008)

On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. - J. Robin B. Cockett; Luigi Santocanale (CSL, 2009)

Pola: A Language for PTIME Programming. - Michael J. Burrell; J. Robin B. Cockett; Brian F. Redmond (FICS, 2009)

On the word problem for SP-categories, and the properties of two-way communication - Luigi Santocanale; J. Robin B. Cockett (CoRR, 2009)

Boolean and classical restriction categories. - J. Robin B. Cockett; Ernie Manes (Math. Struct. Comput. Sci., 2009)

The logic of message-passing. - J. Robin B. Cockett; Craig A. Pastro (Sci. Comput. Program., 2009)

A Categorical Setting for Lower Complexity. - J. Robin B. Cockett; Brian F. Redmond (MFPS, 2010)

Unitary Theories, Unitary Categories. - Pieter J. W. Hofstra; J. Robin B. Cockett (MFPS, 2010)

Timed Sets, Functional Complexity, and Computability. - J. Robin B. Cockett; Joaquín Díaz-Boïls; Jonathan Gallagher; Pavel Hrubes (MFPS, 2012)

Differential Structure, Tangent Structure, and SDG. - J. Robin B. Cockett; Geoff S. H. Cruttwell (Appl. Categorical Struct., 2014)

Total Maps of Turing Categories. - J. Robin B. Cockett; Pieter J. W. Hofstra; Pavel Hrubes (MFPS, 2014)

Safe recursion revisited I: Categorical semantics for lower complexity. - Mike Burrell; J. Robin B. Cockett; Brian F. Redmond (Theor. Comput. Sci., 2014)

Restriction categories as enriched categories. - J. Robin B. Cockett; Richard Garner (Theor. Comput. Sci., 2014)

The Shuffle Quasimonad and Modules with Differentiation and Integration. - Marc Bagnol; Richard Blute; J. Robin B. Cockett; J. S. Lemay (MFPS, 2016)

Categorical Models of the Differential λ-Calculus Revisited. - J. Robin B. Cockett; Jonathan Gallagher (MFPS, 2016)

There Is Only One Notion of Differentiation. - J. Robin B. Cockett; Jean-Simon Lemay (FSCD, 2017)

The Category CNOT. - J. Robin B. Cockett; Cole Comfort; Priyaa V. Srinivasan (QPL, 2017)

The category TOF. - Cole Comfort; J. Robin B. Cockett (QPL, 2018)

Finiteness Spaces and Generalized Power Series. - Richard Blute; J. Robin B. Cockett; Pierre-Alain Jacqmin; Philip J. Scott (MFPS, 2018)

Cartesian Integral Categories and Contextual Integral Categories. - J. Robin B. Cockett; Jean-Simon Lemay (MFPS, 2018)

Complete Positivity for Mixed Unitary Categories. - J. Robin B. Cockett; Priyaa V. Srinivasan (CoRR, 2019)

Categorical models of the differential λ-calculus. - J. Robin B. Cockett; Jonathan Gallagher (Math. Struct. Comput. Sci., 2019)

Integral categories and calculus categories. - J. Robin B. Cockett; Jean-Simon Lemay (Math. Struct. Comput. Sci., 2019)

Reverse Derivative Categories. - J. Robin B. Cockett; Geoff S. H. Cruttwell; Jonathan Gallagher; Jean-Simon Pacaud Lemay; Benjamin MacAdam; Gordon D. Plotkin; Dorette Pronk (CSL, 2020)

Tangent Categories from the Coalgebras of Differential Categories. - J. Robin B. Cockett; Jean-Simon Pacaud Lemay; Rory B. B. Lucyshyn-Wright (CSL, 2020)

Differential Categories Revisited. - Richard Blute; J. Robin B. Cockett; Jean-Simon Pacaud Lemay; Robert A. G. Seely (Appl. Categorical Struct., 2020)

Linearizing Combinators. - J. Robin B. Cockett; Jean-Simon Pacaud Lemay (CoRR, 2020)

Differential Equations in a Tangent Category I: Complete Vector Fields, Flows, and Exponentials. - J. Robin B. Cockett; Geoff S. H. Cruttwell; Jean-Simon Lemay (Appl. Categorical Struct., 2021)

Exponential Modalities and Complementarity (extended abstract). - J. Robin B. Cockett; Priyaa Varshinee Srinivasan (ACT, 2021)

Dagger linear logic for categorical quantum mechanics. - J. Robin B. Cockett; Cole Comfort; Priyaa V. Srinivasan (Log. Methods Comput. Sci., 2021)

Extending Resource Monotones using Kan Extensions. - J. Robin B. Cockett; Isabelle Jianing Geng; Carlo Maria Scandolo; Priyaa Varshinee Srinivasan (ACT, 2022)

Normalizing Resistor Networks. - J. Robin B. Cockett; Amolak Ratan Kalra; Priyaa Varshinee Srinivasan (ACT, 2023)

Classical Distributive Restriction Categories. - J. Robin B. Cockett; Jean-Simon Pacaud Lemay (CoRR, 2023)

Moore-Penrose Dagger Categories. - J. Robin B. Cockett; Jean-Simon Pacaud Lemay (QPL, 2023)

Categorical Semantics of Higher-Order Message Passing. - J. Robin B. Cockett; Melika Norouzbeygi (CoRR, 2025)

Itegories. - J. Robin B. Cockett; Jean-Simon Pacaud Lemay (CoRR, 2025)