Dr Jon Sterling

代表成果

• Sterling, J., 2024 (Accepted for publication). Tensorial structure of the lifting doctrine in constructive domain theory Doi: 10.17863/CAM.108169
• Sterling, J., Gratzer, D. and Birkedal, L., 2024. Towards Univalent Reference Types Leibniz International Proceedings in Informatics Lipics, v. 288 Doi: 10.4230/LIPIcs.CSL.2024.47
• Aagaard, FL., Sterling, J. and Birkedal, L., 2023 (Accepted for publication). A denotationally-based program logic for higher-order store Proceedings of MFPS XXXIX, Doi: 10.46298/entics.12232
• Sterling, J., 2023 (Accepted for publication). Towards univalent reference types Doi: 10.17863/CAM.105391
• Sterling, J., 2023 (Accepted for publication). Towards a geometry for syntax Doi: 10.17863/CAM.106433
• Sterling, J. and Harper, R., 2022. Sheaf Semantics of Termination-Insensitive Noninterference Leibniz International Proceedings in Informatics Lipics, v. 228 Doi: 10.4230/LIPIcs.FSCD.2022.5
• Sterling, J. and Angiuli, C., 2021. Normalization for Cubical Type Theory Proceedings Symposium on Logic in Computer Science, v. 2021-June Doi: 10.1109/LICS52264.2021.9470719
• Sterling, J., Angiuli, C. and Gratzer, D., 2019. Cubical syntax for reflection-free extensional equality Leibniz International Proceedings in Informatics Lipics, v. 131 Doi: 10.4230/LIPIcs.FSCD.2019.31
• Sterling, J. and Harper, R., 2018. Guarded computational type theory Proceedings Symposium on Logic in Computer Science, Doi: 10.1145/3209108.3209153
• Grodin, H., Niu, Y., Sterling, J. and Harper, R., 2024. Decalf: A Directed, Effectful Cost-Aware Logical Framework Proceedings of the ACM on Programming Languages, v. 8 Doi: 10.1145/3632852