J. Robin B. Cockett

63 papers A 1B 16C 1Journal 34Unranked 11

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