J. Robin B. Cockett
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1986–2020
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CSL | Reverse Derivative Categories. | J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk |
| 2020 | CSL | Tangent Categories from the Coalgebras of Differential Categories. | J. Robin B. Cockett, Jean-Simon Pacaud Lemay, Rory B. B. Lucyshyn-Wright |
| 2017 | CSL | Integral Categories and Calculus Categories. | J. Robin B. Cockett, Jean-Simon Lemay |
| 2009 | CSL | On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. | J. Robin B. Cockett, Luigi Santocanale |
| 2006 | MPC | What Is a Good Process Semantics? | J. Robin B. Cockett |
| 1994 | CONCUR | SProc Categorically. | J. Robin B. Cockett, David A. Spooner |
| 1994 | ESOP | Shapely Types and Shape Polymorphism. | C. Barry Jay, J. Robin B. Cockett |
| 1986 | ISMIS | Prime rule-based methodologies give inadequate control. | J. Robin B. Cockett, J. Herrera |