Paul Blain Levy
Scholar

Paul Blain Levy

Google Scholar ID: VC_jJ1gAAAAJ
Senior Lecturer, University of Birmingham
semantics of programming languagesgame semanticscall-by-push-valuecategory theorysemantics of nondeterminism
Google Scholar↗
Citations & Impact
All-time
Citations
896
 
H-index
15
 
i10-index
19
 
Publications
20
 
Co-authors
8
list available
Contact
No contact links provided.
Publications
1 items
What is a monoid?
2025
Cited
1
Resume (English only)
Co-authors
8 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Roly Perera
Roly Perera
University of Cambridge, University of Bristol
James Cheney
James Cheney
Professor, Laboratory for Foundations of Computer Science, University of Edinburgh
Umut A. Acar
Umut A. Acar
Carnegie Mellon University, Department of Computer Science
Luca Aceto
Luca Aceto
Department of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'Aquila
Thorsten Altenkirch
Thorsten Altenkirch
Professor of Computer Science, University of Nottingham
Co-author 8
Co-author 8