TY  - RPRT
TI  - Domain Theory in Constructive and Predicative Univalent Foundations
AU  - Tom de Jong
AU  - Martín Hötzel Escardó
PY  - 2022
UR  - https://arxiv.org/abs/2008.01422
ID  - 2008.01422
ER  -