Jonathan Sterling
Scholar

Jonathan Sterling

Google Scholar ID: 6idp9xEAAAAJ
Associate Professor, University of Cambridge
Programming LanguagesType TheoryLogicProof TheoryCategory Theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
584
 
H-index
13
 
i10-index
17
 
Publications
20
 
Co-authors
14
list available
Contact
No contact links provided.
Publications
8 items
Fuss-free cumulative universes: theory and practice
2026
Cited
0
Bidirectional Elaborators à la Carte
2026
Cited
0
The Synthetic Sierpiński Cone
2026
Cited
0
Domains and Classifying Topoi
2025
Cited
0
Hofmann-Streicher lifting of fibred categories
2025
Cited
0
When is the partial map classifier a Sierpi'nski cone?
2025
Cited
0
Tensorial structure of the lifting doctrine in constructive domain theory
arXiv.org · 2023
Cited
0
Controlling unfolding in type theory
arXiv.org · 2022
Cited
4
Resume (English only)
Co-authors
14 total
Daniel Gratzer
Daniel Gratzer
Aarhus University
Robert Harper
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Carlo Angiuli
Carlo Angiuli
Assistant Professor, Indiana University
Lars Birkedal
Lars Birkedal
Dept. of Computer Science, Aarhus University
Yue Niu
Yue Niu
Doctoral student, Carnegie Mellon University
Harrison Grodin
Harrison Grodin
Ph.D. Student, Carnegie Mellon University
Co-author 7
Co-author 7
Bas Spitters
Bas Spitters
Associate Professor, Aarhus University