Bibliography of Jonathan Sterling
Table of contents
The following authors are represented in this bibliography: Carlo Angiuli, Lars Birkedal, Evan Cavallo, Daniel Gratzer, Harrison Grodin, Robert Harper, Favonia, Yue Niu, Daniele Palombi, Michael Shulman, Bas Spitters, Jonathan Sterling, and Rebecca Valentine.
Refereed Publications
Unpublished Manuscripts
Jul. 2022 | Under review July 13, 2022 @unpublished{sterling:2022:generic, author = {Sterling, Jonathan}, year = {2022}, month = jul, note = {Unpublished manuscript}, title = {What should a generic object be?}, } |
Jul. 2022 | @unpublished{sterling-gratzer-birkedal:2022, author = {Sterling, Jonathan and Gratzer, Daniel and Birkedal, Lars}, year = {2022}, month = jul, note = {Unpublished manuscript}, title = {Denotational semantics of general store and polymorphism}, } |
Jun. 2022 | @unpublished{sterling:2022:naive, author = {Sterling, Jonathan}, year = {2022}, month = jun, note = {Unpublished manuscript}, title = {Na\"{i}ve logical relations in synthetic {Tait} computability}, } |
Feb. 2022 | Under review February 21, 2022 @unpublished{gratzer-shulman-sterling:2022:universes, author = {Gratzer, Daniel and Shulman, Michael and Sterling, Jonathan}, year = {2022}, month = feb, doi = {10.48550/arXiv.2202.12012}, eprint = {2202.12012}, eprintclass = {math.CT}, eprinttype = {arXiv}, note = {Unpublished manuscript}, title = {Strict universes for Grothendieck topoi}, } |
Dec. 2020 | @unpublished{gratzer-sterling:2020, author = {Gratzer, Daniel and Sterling, Jonathan}, year = {2020}, eprint = {2012.10783}, eprintclass = {cs.LO}, eprinttype = {arXiv}, title = {Syntactic categories for dependent type theory: sketching and adequacy}, } |
Workshop Presentations
MURI '22 | MURI Team Meeting 2022 June 30, 2022 @misc{sterling-harper:2022:muri, author = {Sterling, Jonathan and Harper, Robert}, url = {https://www.jonmsterling.com/slides/sterling:2022:muri.pdf}, year = {2022}, month = jun, note = {Talk given at the 2022 MURI Team Meeting}, title = {Sheaf semantics of termination-insensitive noninterference}, } |
WG6 | WG6 kick-off meeting: Syntax and Semantics of Type Theories May 20, 2022 @misc{sterling:2022:wg6, author = {Sterling, Jonathan}, year = {2022}, month = may, note = {WG6 kick-off meeting: Syntax and Semantics of Type Theories (Invited Talk)}, title = {Na\"{i}ve logical relations in synthetic {Tait} computability}, } |
ML '21 | @unpublished{sterling-harper:2021:mlw, author = {Sterling, Jonathan and Harper, Robert}, url = {https://icfp21.sigplan.org/details/mlfamilyworkshop-2021-papers/5/A-metalanguage-for-multi-phase-modularity}, year = {2021}, month = aug, note = {ML 2021 abstract and talk}, title = {A metalanguage for multi-phase modularity}, } |
LFMTP '18 | International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP), 2018 @inproceedings{redprl:2018:lfmtp, author = {Angiuli, Carlo and Cavallo, Evan and {Hou (Favonia)}, Kuen-Bang and Harper, Robert and Sterling, Jonathan}, editor = {Blanqui, Fr\'{e}d\'{e}ric and Reis, Giselle}, publisher = {Open Publishing Association}, booktitle = {Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018.}, date = {2018}, doi = {10.4204/EPTCS.274.1}, pages = {1--10}, title = {{The \textsf{\textcolor[rgb]{.91,.31,.27}{Red}PRL} Proof Assistant (Invited Paper)}}, } |
Dissertations
Apr. 2022 | Dissertation Overview, Carnegie Mellon University @unpublished{sterling:2022:thesis:overview, author = {Sterling, Jonathan}, url = {https://www.jonmsterling.com/papers/sterling:2022:thesis:overview.pdf}, year = {2022}, month = apr, note = {Synopsis of doctoral dissertation, Carnegie Mellon University}, title = {Dissertation Overview: \emph{First Steps in Synthetic {Tait} Computability}}, } |
Sep. 2021 | Doctoral Dissertation, Carnegie Mellon University September 13, 2021 @phdthesis{sterling:2021:thesis, author = {Sterling, Jonathan}, school = {Carnegie Mellon University}, year = {2021}, doi = {10.5281/zenodo.5709838}, note = {CMU technical report CMU-CS-21-142}, title = {First Steps in Synthetic {Tait} Computability: The Objective Metatheory of Cubical Type Theory}, } |
Research Notes
Feb. 2022 | February 17, 2022 @unpublished{sterling:2022:bilimits, author = {Sterling, Jonathan}, year = {2022}, month = feb, doi = {10.48550/arXiv.2202.08657}, eprint = {2202.08657}, eprintclass = {cs.LO}, eprinttype = {arXiv}, title = {Bilimits in categories of partial maps}, } |
Feb. 2022 | February 15, 2022 @unpublished{gratzer-shulman-sterling:2022:plump, author = {Gratzer, Daniel and Shulman, Michael and Sterling, Jonathan}, year = {2022}, doi = {10.48550/arXiv.2202.07329}, eprint = {2202.07329}, eprintclass = {cs.LO}, eprinttype = {arXiv}, title = {The directed plump ordering}, } |
Sep. 2018 | @unpublished{sterling-spitters:2018, author = {Sterling, Jonathan and Spitters, Bas}, year = {2018}, month = sep, eprint = {1809.08646}, eprintclass = {cs.LO}, eprinttype = {arXiv}, title = {Normalization by gluing for free $\lambda$-theories}, } |