Robin Cockett
Scholar

Robin Cockett

Google Scholar ID: luNcQyEAAAAJ
Professor of Computer Science, University of Calgary
differential categorieslinear logicsemantics of programmingcategory theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,717
 
H-index
29
 
i10-index
69
 
Publications
20
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
3 items
Itegories
2025
Cited
0
Categorical Semantics of Higher-Order Message Passing
2025
Cited
0
Classical Distributive Restriction Categories
arXiv.org · 2023
Cited
3
Resume (English only)
Co-authors
13 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Priyaa Varshinee Srinivasan
Priyaa Varshinee Srinivasan
Postdoctoral fellow, Tallinn University of Technology
Cole Comfort
Cole Comfort
Postdoc, Inria
Co-author 7
Co-author 7
Gordon Plotkin
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh