Tom J. de Jong

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Examples and counterexamples of injective types Annals of Pure and Applied Logic	2027-01-01	Paper
Domain theory in constructive and predicative univalent foundations	2026-03-23	Paper
Set-theoretic and type-theoretic ordinals coincide	2026-02-27	Paper
Examples and counterexamples of injective types (available as arXiv preprint)	2026-01-01	Paper
The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory (available as arXiv preprint)	2026-01-01	Paper
Generalized Decidability via Brouwer Trees (available as arXiv preprint)	2026-01-01	Paper
Continuous and algebraic domains in univalent foundations Journal of Pure and Applied Algebra	2025-09-29	Paper
A study of Kock's fat Delta (available as arXiv preprint)	2025-01-01	Paper
Domain theory in univalent foundations II: Continuous and algebraic domains (available as arXiv preprint)	2024-01-01	Paper
On Small Types in Univalent Foundations Logical Methods in Computer Science	2023-08-26	Paper
Predicative Aspects of Order Theory in Univalent Foundations (available as arXiv preprint)	2023-06-23	Paper
Domain Theory in Constructive and Predicative Univalent Foundations (available as arXiv preprint)	2023-01-01	Paper
The Scott model of PCF in univalent type theory Mathematical Structures in Computer Science	2022-12-09	Paper
The Sierpinski object in the Scott realizability topos (available as arXiv preprint)	2020-09-04	Paper
The Sierpinski object in the Scott realizability topos	2020-09-04	Paper
Domain Theory in Constructive and Predicative Univalent Foundations	2020-08-04	Paper
The Sierpinski Object in the Scott Realizability Topos (available as arXiv preprint)	2019-04-30	Paper
Optimal level of chemical defense decreasing with leaf age Theoretical Population Biology	1997-04-14	Paper
Competition in safe-sites Theoretical Population Biology	1988-01-01	Paper
Life history tactics of annual organisms: The joint effects of dispersal and delayed germination Theoretical Population Biology	1987-01-01	Paper

Research outcomes over time

This page was built for person: Tom J. de Jong