J. Robin B. Cockett

According to our database, J. Robin B. Cockett authored at least 55 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Moore-Penrose Dagger Categories.

J. Robin B. Cockett, Jean-Simon Pacaud Lemay

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Classical Distributive Restriction Categories.

J. Robin B. Cockett, Jean-Simon Pacaud Lemay

CoRR, 2023

Normalizing Resistor Networks.

J. Robin B. Cockett, Amolak Ratan Kalra, Priyaa Varshinee Srinivasan

Proceedings of the Sixth International Conference on Applied Category Theory 2023, 2023

2022

Extending Resource Monotones using Kan Extensions.

J. Robin B. Cockett, Isabelle Jianing Geng, Carlo Maria Scandolo, Priyaa Varshinee Srinivasan

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

2021

Dagger linear logic for categorical quantum mechanics.

J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan

Log. Methods Comput. Sci., 2021

Exponential Modalities and Complementarity (extended abstract).

J. Robin B. Cockett, Priyaa Varshinee Srinivasan

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

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

2020

Linearizing Combinators.

J. Robin B. Cockett, Jean-Simon Pacaud Lemay

CoRR, 2020

Differential Categories Revisited.

Richard Blute, J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Robert A. G. Seely

Appl. Categorical Struct., 2020

Tangent Categories from the Coalgebras of Differential Categories.

J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

Reverse Derivative Categories.

J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Integral categories and calculus categories.

J. Robin B. Cockett, Jean-Simon Lemay

Math. Struct. Comput. Sci., 2019

Categorical models of the differential λ-calculus.

J. Robin B. Cockett, Jonathan Gallagher

Math. Struct. Comput. Sci., 2019

Complete Positivity for Mixed Unitary Categories.

J. Robin B. Cockett, Priyaa V. Srinivasan

CoRR, 2019

2018

Cartesian Integral Categories and Contextual Integral Categories.

J. Robin B. Cockett, Jean-Simon Lemay

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

Finiteness Spaces and Generalized Power Series.

Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

The category TOF.

Cole Comfort, J. Robin B. Cockett

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017

The Category CNOT.

J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

There Is Only One Notion of Differentiation.

J. Robin B. Cockett, Jean-Simon Lemay

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016

Categorical Models of the Differential λ-Calculus Revisited.

J. Robin B. Cockett, Jonathan Gallagher

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

The Shuffle Quasimonad and Modules with Differentiation and Integration.

Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

2014

Restriction categories as enriched categories.

J. Robin B. Cockett, Richard Garner

Theor. Comput. Sci., 2014

Safe recursion revisited I: Categorical semantics for lower complexity.

Mike Burrell, J. Robin B. Cockett, Brian F. Redmond

Theor. Comput. Sci., 2014

Total Maps of Turing Categories.

J. Robin B. Cockett, Pieter J. W. Hofstra, Pavel Hrubes

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Differential Structure, Tangent Structure, and SDG.

J. Robin B. Cockett, Geoff S. H. Cruttwell

Appl. Categorical Struct., 2014

2012

Timed Sets, Functional Complexity, and Computability.

J. Robin B. Cockett, Joaquín Díaz-Boïls, Jonathan Gallagher, Pavel Hrubes

Proceedings of the 28th Conference on the Mathematical Foundations of Programming Semantics, 2012

2010

Unitary Theories, Unitary Categories.

Pieter J. W. Hofstra, J. Robin B. Cockett

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

A Categorical Setting for Lower Complexity.

J. Robin B. Cockett, Brian F. Redmond

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

2009

The logic of message-passing.

J. Robin B. Cockett, Craig A. Pastro

Sci. Comput. Program., 2009

Boolean and classical restriction categories.

J. Robin B. Cockett, Ernie Manes

Math. Struct. Comput. Sci., 2009

On the word problem for SP-categories, and the properties of two-way communication

Luigi Santocanale, J. Robin B. Cockett

CoRR, 2009

Pola: A Language for PTIME Programming.

Michael J. Burrell, J. Robin B. Cockett, Brian F. Redmond

Proceedings of the 6th Workshop on Fixed Points in Computer Science, 2009

On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication.

J. Robin B. Cockett, Luigi Santocanale

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

Introduction to Turing categories.

J. Robin B. Cockett, Pieter J. W. Hofstra

Ann. Pure Appl. Log., 2008

2007

Restriction categories III: colimits, partial limits and extensivity.

J. Robin B. Cockett, Stephen Lack

Math. Struct. Comput. Sci., 2007

2006

Differential categories.

Richard Blute, J. Robin B. Cockett, Robert A. G. Seely

Math. Struct. Comput. Sci., 2006

What Is a Good Process Semantics?

J. Robin B. Cockett

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

2004

A Language For Multiplicative-additive Linear Logic.

J. Robin B. Cockett, Craig A. Pastro

Proceedings of the 10th Conference on Category Theory in Computer Science, 2004

2003

Restriction categories II: partial map classification.

J. Robin B. Cockett, Stephen Lack

Theor. Comput. Sci., 2003

2002

Restriction categories I: categories of partial maps.

J. Robin B. Cockett, Stephen Lack

Theor. Comput. Sci., 2002

The Logic of Linear Functors.

Richard Blute, J. Robin B. Cockett, Robert A. G. Seely

Math. Struct. Comput. Sci., 2002

Induction, Coinduction, and Adjoints.

J. Robin B. Cockett, Luigi Santocanale

Proceedings of the Category Theory and Computer Science, 2002

2001

Deforestation, program transformation, and cut-elimination.

J. Robin B. Cockett

Proceedings of the Coalgebraic Methods in Computer Science, 2001

2000

Introduction to linear bicategories.

J. Robin B. Cockett, Jürgen Koslowski, Robert A. G. Seely

Math. Struct. Comput. Sci., 2000

1997

Constructing Process Categories.

J. Robin B. Cockett, David A. Spooner

Theor. Comput. Sci., 1997

1996

! and ? - Storage as Tensorial Strength.

Richard Blute, J. Robin B. Cockett, Robert A. G. Seely

Math. Struct. Comput. Sci., 1996

1995

Strong Categorical Datatypes II: A Term Logic for Categorical Programming.

J. Robin B. Cockett, Dwight Spencer

Theor. Comput. Sci., 1995

Categories for synchrony and asynchrony.

J. Robin B. Cockett, David A. Spooner

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

1994

Shapely Types and Shape Polymorphism.

C. Barry Jay, J. Robin B. Cockett

Proceedings of the Programming Languages and Systems, 1994

SProc Categorically.

J. Robin B. Cockett, David A. Spooner

Proceedings of the CONCUR '94, 1994

1993

Introduction to Distributive Categories.

J. Robin B. Cockett

Math. Struct. Comput. Sci., 1993

1990

Decision Tree Reduction

J. Robin B. Cockett, J. A. Hierrera

J. ACM, October, 1990

1987

Discrete Decision Theory: Manipulations.

J. Robin B. Cockett

Theor. Comput. Sci., 1987

1986

Prime rule-based methodologies give inadequate control.

J. Robin B. Cockett, J. Herrera

Proceedings of the ACM SIGART International Symposium on Methodologies for Intelligent Systems, 1986

1985

File handling for detail and extent and for subtasks in the implementation of decision processes.

J. Robin B. Cockett

Inf. Sci., 1985