Travelled to:1 × Portugal
1 × United Kingdom
Collaborated with:L.Santocanale C.B.Jay J.Lemay J.P.Lemay R.B.B.Lucyshyn-Wright G.S.H.Cruttwell J.Gallagher B.MacAdam G.D.Plotkin D.Pronk
Talks about:categori (6) shape (2) differenti (1) polymorph (1) coalgebra (1) properti (1) communic (1) calculus (1) tangent (1) problem (1)
Person: J. Robin B. Cockett
DBLP: Cockett:J=_Robin_B=
Contributed to:
2009
199420172020Wrote 5 papers:
- CSL-2009-CockettS #communication #on the #problem #word
- On the Word Problem for ΣΠ-Categories, and the Properties of Two-Way Communication (JRBC, LS), pp. 194–208.
- ESOP-1994-JayC #morphism #polymorphism
- Shapely Types and Shape Polymorphism (CBJ, JRBC), pp. 302–316.
- CSL-2017-CockettL #calculus #category theory
- Integral Categories and Calculus Categories (JRBC, JSL), p. 17.
- CSL-2020-CockettCGLMPP #category theory
- Reverse Derivative Categories (JRBC, GSHC, JG, JSPL, BM, GDP, DP), p. 16.
- CSL-2020-CockettLL #algebra #category theory #difference
- Tangent Categories from the Coalgebras of Differential Categories (JRBC, JSPL, RBBLW), p. 17.