On domain theory in constructive set theory:

- Tom de Jong,
*Sharp Elements and Apartness in Domains*, in: Proceedings MFPS 2021, EPTCS 351, 2021, pp. 134-151 (doi:10.4204/EPTCS.351.9, arXiv:2112.14052)

On domain theory in homotopy type theory/univalent foundations (mathematics presented in HoTT):

- Tom de Jong, Martín Hötzel Escardó,
*Domain Theory in Constructive and Predicative Univalent Foundations*, in:*29th EACSL Annual Conference on Computer Science Logic*, CSL 2021, LIPIcs proceedings 183, 2021 (doi:10.4230/LIPIcs.CSL.2021.28, arXiv:2008.01422)

On ordinals in type theory and marked extensional well-founded orders:

- Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu,
*Set-Theoretic and Type-Theoretic Ordinals Coincide*[arXiv:2301.10696]

On epimorphisms in homotopy type theory:

- Tom de Jong,
*Acyclic types and epimorphisms in HoTT*, Homotopy Type Theory Electronic Seminar Talks, 17 November 2022 (slides, video)

category: people

Last revised on June 13, 2023 at 16:59:44. See the history of this page for a list of all contributions to it.