Follow
Tom de Jong
Tom de Jong
Research Fellow, School of Computer Science, University of Nottingham
Verified email at nottingham.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
162021
Predicative Aspects of Order Theory in Univalent Foundations
T de Jong, MH Escardó
6th International Conference on Formal Structures for Computation and …, 2021
92021
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
72023
On Small Types in Univalent Foundations
T de Jong, MH Escardó
Logical Methods in Computer Science 19 (2), 8:1–8:33, 2023
62023
Sharp Elements and Apartness in Domains
T de Jong
37th Conference on Mathematical Foundations of Programming Semantics MFPS …, 2021
42021
The Scott model of PCF in univalent type theory
T de Jong
Mathematical Structures in Computer Science 31 (10), 1270-1300, 2021
42021
Domain Theory in Constructive and Predicative Univalent Foundations
T de Jong
arXiv preprint arXiv:2301.12405, 2023
32023
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
The system can't perform the operation now. Try again later.
Articles 1–10