TY  - RPRT
TI  - Predicative Aspects of Order Theory in Univalent Foundations
AU  - Tom de Jong
AU  - Martín Hötzel Escardó
PY  - 2021
UR  - https://arxiv.org/abs/2102.08812
ID  - 2102.08812
ER  -