Scholar
Robert Atkey
Google Scholar ID: 0bo89OQAAAAJ
University of Strathclyde
Programming Languages
Type Theory
Semantics
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,664
H-index
19
i10-index
32
Publications
20
Co-authors
25
list available
Publications
1 items
Quantitative Linear Logic
2026
Cited
0
Co-authors
11 total
Sam Lindley
The University of Edinburgh
Ekaterina Komendantskaya
Professor in Computer Science, Southampton University and Heriot-Watt University, UK
Luca Arnaboldi
Assistant Professor, University of Birmingham
Matthew L. Daggitt
Lecturer, University of Western Australia
Danel Ahman
Institute of Computer Science, University of Tartu
Guido Martínez
Microsoft Research
Jeremy Yallop
University of Cambridge
KC Sivaramakrishnan
IIT Madras / Tarides
