Tom de Jong

32 papers A* 2B 3Journal 25Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Examples and counterexamples of injective types.
CoRR
Tom de Jong, Martín Hötzel Escardó
2026 J jnl
Generalized Decidability via Brouwer Trees.
CoRR
Tom de Jong, Nicolai Kraus, Aref Mohammadzadeh, Fredrik Nordvall Forsberg
2026 J jnl
The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory.
CoRR
Tom de Jong, Nicolai Kraus, Axel Ljungström
2025 A* conf
Ordinal Exponentiation in Homotopy Type Theory.
LICS
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2025 J jnl
Ordinal Exponentiation in Homotopy Type Theory.
CoRR
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2024 J jnl
Domain theory in univalent foundations I: Directed complete posets and Scott's D
CoRR
Tom de Jong
2024 J jnl
Domain theory in univalent foundations II: Continuous and algebraic domains.
CoRR
Tom de Jong, Martín Hötzel Escardó
2024 J jnl
Epimorphisms and Acyclic Types in Univalent Mathematics.
CoRR
Ulrik Buchholtz, Tom de Jong, Egbert Rijke
2024 — conf
Formalizing Equivalences Without Tears.
TYPES
Tom de Jong
2024 J jnl
Formalizing equivalences without tears.
CoRR
Tom de Jong
2023 J jnl
Apartness, sharp elements, and the Scott topology of domains.
Math. Struct. Comput. Sci.
Tom de Jong
2023 J jnl
Domain Theory in Constructive and Predicative Univalent Foundations.
CoRR
Tom de Jong
2023 J jnl
On Small Types in Univalent Foundations.
Log. Methods Comput. Sci.
Tom de Jong, Martín Hötzel Escardó
2023 A* conf
Set-Theoretic and Type-Theoretic Ordinals Coincide.
LICS
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2023 J jnl
Set-Theoretic and Type-Theoretic Ordinals Coincide.
CoRR
Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
2022 J jnl
A conceptual model for automating spatial network analysis.
Trans. GIS
Simon Scheider, Tom de Jong
2021 B conf
Domain Theory in Constructive and Predicative Univalent Foundations.
CSL
Tom de Jong, Martín Hötzel Escardó
2021 B conf
Predicative Aspects of Order Theory in Univalent Foundations.
FSCD
Tom de Jong, Martín Hötzel Escardó
2021 J jnl
Predicative Aspects of Order Theory in Univalent Foundations.
CoRR
Tom de Jong, Martín Hötzel Escardó
2021 B conf
Sharp Elements and Apartness in Domains.
MFPS
Tom de Jong
2021 J jnl
Sharp Elements and the Scott Topology of Continuous Dcpos.
CoRR
Tom de Jong
2021 J jnl
Size Matters in Univalent Foundations.
CoRR
Tom de Jong, Martín Hötzel Escardó
2021 J jnl
The Scott model of PCF in univalent type theory.
Math. Struct. Comput. Sci.
Tom de Jong
2020 J jnl
Domain Theory in Constructive and Predicative Univalent Foundations.
CoRR
Tom de Jong, Martín Hötzel Escardó
2020 J jnl
The Sierpinski Object in the Scott Realizability Topos.
Log. Methods Comput. Sci.
Tom de Jong, Jaap van Oosten
2019 J jnl
The Scott model of PCF in univalent type theory.
CoRR
Tom de Jong
2019 J jnl
The Sierpinski Object in the Scott Realizability Topos.
CoRR
Tom de Jong, Jaap van Oosten
2017 J jnl
Post-processing GPS-tracks in reconstructing travelled routes in a GIS-environment: network subset selection and attribute adjustment.
Ann. GIS
Justin van Dijk, Tom de Jong
2011 J jnl
Connect the dot: Computing feed-links for network extension.
J. Spatial Inf. Sci.
Boris Aronov, Kevin Buchin, Maike Buchin, Bart M. P. Jansen, Tom de Jong, Marc J. van Kreveld, Maarten Löffler, Jun Luo, Rodrigo I. Silveira, Bettina Speckmann
2008 — conf
Feed-links for network extensions.
GIS
Boris Aronov, Kevin Buchin, Maike Buchin, Bart M. P. Jansen, Tom de Jong, Marc J. van Kreveld, Maarten Löffler, Jin Luo, Rodrigo I. Silveira, Bettina Speckmann
2003 J jnl
Electronic patient records: domain message information model perinatology.
Int. J. Medical Informatics
William T. F. Goossen, Marcel J. Jonker, Kai U. Heitmann, Irma C. Jongeneel-de Haas, Tom de Jong, Johannes W. van der Slikke, Bert L. Kabbes
1999 J jnl
Measuring Accessibility with GIS-Tools: A Case Study of the Wild Coast of South Africa.
Trans. GIS
Andries Naude, Tom de Jong, Pieter van Teefelen