Scholar
Jonathan Sterling
Google Scholar ID: 6idp9xEAAAAJ
Associate Professor, University of Cambridge
Programming Languages
Type Theory
Logic
Proof Theory
Category Theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
584
H-index
13
i10-index
17
Publications
20
Co-authors
14
list available
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
Co-authors
11 total
Daniel Gratzer
Aarhus University
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Carlo Angiuli
Assistant Professor, Indiana University
Lars Birkedal
Dept. of Computer Science, Aarhus University
Yue Niu
Doctoral student, Carnegie Mellon University
Harrison Grodin
Ph.D. Student, Carnegie Mellon University
Bas Spitters
Associate Professor, Aarhus University
Kuen-Bang Hou (Favonia)
University of Minnesota, Twin Cities
