Robert Atkey
Scholar

Robert Atkey

Google Scholar ID: 0bo89OQAAAAJ
University of Strathclyde
Programming LanguagesType TheorySemantics
Google Scholar↗
Citations & Impact
All-time
Citations
1,664
 
H-index
19
 
i10-index
32
 
Publications
20
 
Co-authors
25
list available
Contact
No contact links provided.
Publications
1 items
Quantitative Linear Logic
2026
Cited
0
Resume (English only)
Co-authors
25 total
Sam Lindley
Sam Lindley
The University of Edinburgh
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Ekaterina Komendantskaya
Ekaterina Komendantskaya
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
Co-author 6
Co-author 6
Luca Arnaboldi
Luca Arnaboldi
Assistant Professor, University of Birmingham
Matthew L. Daggitt
Matthew L. Daggitt
Lecturer, University of Western Australia