TY  - RPRT
TI  - Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
AU  - Tom de Jong
PY  - 2024
UR  - https://arxiv.org/abs/2407.06952
ID  - 2407.06952
ER  -