TY  - RPRT
TI  - Domain Theory in Constructive and Predicative Univalent Foundations
AU  - Tom de Jong
PY  - 2023
UR  - https://arxiv.org/abs/2301.12405
ID  - 2301.12405
ER  -