Tom de Jong
Scholar

Tom de Jong

Google Scholar ID: bcyoIN8AAAAJ
Research Fellow, School of Computer Science, University of Nottingham
homotopy type theoryunivalent foundationsconstructive mathematicsdomain theoryrealizability
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
102
 
H-index
7
 
i10-index
5
 
Publications
17
 
Co-authors
7
list available
Contact
No contact links provided.
Publications
6 items
Generalized Decidability via Brouwer Trees
2026
Cited
0
The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
2026
Cited
0
Examples and counterexamples of injective types
2026
Cited
0
Ordinal Exponentiation in Homotopy Type Theory
2025
Cited
0
Formalizing equivalences without tears
arXiv.org · 2024
Cited
0
Domain theory in univalent foundations II: Continuous and algebraic domains
arXiv.org · 2024
Cited
2
Resume (English only)
Co-authors
7 total
Martín Hötzel Escardó
Martín Hötzel Escardó
Professor of Theoretical Computer Science, University of Birmingham,UK
Co-author 2
Co-author 2
Chuangjie Xu
Chuangjie Xu
Static Analysis Scientist, SonarSource
Fredrik Nordvall Forsberg
Fredrik Nordvall Forsberg
University of Strathclyde
Ulrik Buchholtz
Ulrik Buchholtz
University of Nottingham
Co-author 6
Co-author 6
Co-author 7
Co-author 7