TY  - RPRT
TI  - Continuous and algebraic domains in univalent foundations
AU  - Tom de Jong
AU  - Martín Hötzel Escardó
PY  - 2025
DO  - 10.1016/j.jpaa.2025.108072
UR  - https://arxiv.org/abs/2407.06956
ID  - 2407.06956
ER  -