Tom de Jong

According to our database, Tom de Jong authored at least 22 papers between 1999 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2025

Ordinal Exponentiation in Homotopy Type Theory.

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

CoRR, January, 2025

2024

Formalizing equivalences without tears.

Tom de Jong

CoRR, 2024

Domain theory in univalent foundations II: Continuous and algebraic domains.

Tom de Jong, Martín Hötzel Escardó

CoRR, 2024

Domain theory in univalent foundations I: Directed complete posets and Scott's D_∞.

Tom de Jong

CoRR, 2024

Epimorphisms and Acyclic Types in Univalent Mathematics.

Ulrik Buchholtz, Tom de Jong, Egbert Rijke

CoRR, 2024

2023

Apartness, sharp elements, and the Scott topology of domains.

Tom de Jong

Math. Struct. Comput. Sci., 2023

On Small Types in Univalent Foundations.

Tom de Jong, Martín Hötzel Escardó

Log. Methods Comput. Sci., 2023

Domain Theory in Constructive and Predicative Univalent Foundations.

Tom de Jong

CoRR, 2023

Set-Theoretic and Type-Theoretic Ordinals Coincide.

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

A conceptual model for automating spatial network analysis.

Simon Scheider, Tom de Jong

Trans. GIS, 2022

2021

The Scott model of PCF in univalent type theory.

Tom de Jong

Math. Struct. Comput. Sci., 2021

Sharp Elements and Apartness in Domains.

Tom de Jong

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Size Matters in Univalent Foundations.

Tom de Jong, Martín Hötzel Escardó

CoRR, 2021

Sharp Elements and the Scott Topology of Continuous Dcpos.

Tom de Jong

CoRR, 2021

Predicative Aspects of Order Theory in Univalent Foundations.

Tom de Jong, Martín Hötzel Escardó

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

Domain Theory in Constructive and Predicative Univalent Foundations.

Tom de Jong, Martín Hötzel Escardó

Proceedings of the 29th EACSL Annual Conference on Computer Science Logic, 2021

2020

The Sierpinski Object in the Scott Realizability Topos.

Tom de Jong, Jaap van Oosten

Log. Methods Comput. Sci., 2020

2017

Post-processing GPS-tracks in reconstructing travelled routes in a GIS-environment: network subset selection and attribute adjustment.

Justin van Dijk, Tom de Jong

Ann. GIS, 2017

2011

Connect the dot: Computing feed-links for network extension.

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

J. Spatial Inf. Sci., 2011

2008

Feed-links for network extensions.

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

Proceedings of the 16th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2008

2003

Electronic patient records: domain message information model perinatology.

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

Int. J. Medical Informatics, 2003

1999

Measuring Accessibility with GIS-Tools: A Case Study of the Wild Coast of South Africa.

Andries Naude, Tom de Jong, Pieter van Teefelen

Trans. GIS, 1999