Jonathan Sterling
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2018–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | When is the partial map classifier a Sierpiński cone? | Leoni Pugh, Jonathan Sterling |
| 2025 | LICS | Hofmann-Streicher lifting of fibred categories : Dedicated to the memory of Thomas Streicher (1958-2025). | Andrew Slattery, Jonathan Sterling |
| 2024 | CSL | Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. | Jonathan Sterling, Daniel Gratzer, Lars Birkedal |
| 2022 | FSCD | Sheaf Semantics of Termination-Insensitive Noninterference. | Jonathan Sterling, Robert Harper |
| 2021 | LICS | Normalization for Cubical Type Theory. | Jonathan Sterling, Carlo Angiuli |
| 2018 | LICS | Guarded Computational Type Theory. | Jonathan Sterling, Robert Harper |