Robin Cockett is a computer scientist based in Calgary.
Géom. Diff. cat., 52 (2011) 253 – 268 (pdf)
On categorical semantics for the exponential modality in linear logic:
R. F. Blute , J. R. B. Cockett, R. A. G. Seely, ! and ? – Storage as tensorial strength, Mathematical Structures in Computer Science 6 4 (1996) 313-351 [doi:10.1017/S0960129500001055]
J. R. B. Cockett and R. A. G. Seely, Linearly distributive functors, Journal of Pure and Applied Algebra 143 (1999) 155–203, doi:10.1016/S0022-4049(98)00110-8
Introducing differential categories:
R. F. Blute, J. R. B. Cockett, and R. A. G. Seely: Differential categories. Math. Struct. Comput. Sci. 16(06), 1049–1083 (2006) (doi:10.1017/S0960129506005676)
Richard Blute, Robin Cockett, Jean-Simon Lemay and Robert Seely, Differential categories revisited, Appl. Categ. Struct. 28, 171-235 (2020). (arXiv:1806.04804, doi:10.1007/s10485-019-09572-y)
On message-passing:
Last revised on June 17, 2025 at 13:27:20. See the history of this page for a list of all contributions to it.