TY  - RPRT
TI  - Set-Theoretic and Type-Theoretic Ordinals Coincide
AU  - Tom de Jong
AU  - Nicolai Kraus
AU  - Fredrik Nordvall Forsberg
AU  - Chuangjie Xu
PY  - 2023
DO  - 10.1109/lics56636.2023.10175762
UR  - https://arxiv.org/abs/2301.10696
ID  - 2301.10696
ER  -