Domain Theory in Constructive and Predicative Univalent Foundations T de Jong, MH Escardó 29th EACSL Annual Conference on Computer Science Logic (CSL 2021) 183, 28:1 …, 2021 | 16 | 2021 |
Predicative Aspects of Order Theory in Univalent Foundations T de Jong, MH Escardó 6th International Conference on Formal Structures for Computation and …, 2021 | 9 | 2021 |
Set-Theoretic and Type-Theoretic Ordinals Coincide T de Jong, N Kraus, F Nordvall Forsberg, C Xu 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2023), 2023 | 7 | 2023 |
On Small Types in Univalent Foundations T de Jong, MH Escardó Logical Methods in Computer Science 19 (2), 8:1–8:33, 2023 | 6 | 2023 |
Sharp Elements and Apartness in Domains T de Jong 37th Conference on Mathematical Foundations of Programming Semantics MFPS …, 2021 | 4 | 2021 |
The Scott model of PCF in univalent type theory T de Jong Mathematical Structures in Computer Science 31 (10), 1270-1300, 2021 | 4 | 2021 |
Domain Theory in Constructive and Predicative Univalent Foundations T de Jong arXiv preprint arXiv:2301.12405, 2023 | 3 | 2023 |
Epimorphisms and Acyclic Types in Univalent Mathematics U Buchholtz, T de Jong, E Rijke https://arxiv.org/abs/2401.14106, 2024 | | 2024 |
Apartness, sharp elements, and the Scott topology of domains T de Jong Mathematical Structures in Computer Science 33 (7), 573-604, 2023 | | 2023 |
The Sierpinski Object in the Scott Realizability Topos T de Jong, J van Oosten Logical Methods in Computer Science 16 (3), 12:1–12:16, 2020 | | 2020 |