Scholar
Robin Cockett
Google Scholar ID: luNcQyEAAAAJ
Professor of Computer Science, University of Calgary
differential categories
linear logic
semantics of programming
category theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
3,717
H-index
29
i10-index
69
Publications
20
Co-authors
13
list available
Publications
4 items
Categorical Message Passing Language (CaMPL): Syntax and Semantics
2026
Cited
0
Itegories
2025
Cited
0
Categorical Semantics of Higher-Order Message Passing
2025
Cited
0
Classical Distributive Restriction Categories
arXiv.org · 2023
Cited
3
Co-authors
5 total
Priyaa Varshinee Srinivasan
Postdoctoral fellow, Tallinn University of Technology
Cole Comfort
Postdoc, Inria
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
Richard Garner
Unknown affiliation
Chris Heunen
University of Edinburgh
