@misc{indiciae9644cbef7ff6,
  title = {Continuous and algebraic domains in univalent foundations},
  author = {Tom de Jong and Martín Hötzel Escardó},
  year = {2025},
  doi = {10.1016/j.jpaa.2025.108072},
  url = {https://arxiv.org/abs/2407.06956},
  note = {Source identifier: 2407.06956}
}