nLab Tom de Jong

• webpage

Selected writings

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)

category: people