TY  - RPRT
TI  - Three Equivalent Ordinal Notation Systems in Cubical Agda
AU  - Fredrik Nordvall Forsberg
AU  - Chuangjie Xu
AU  - Neil Ghani
PY  - 2020
DO  - 10.1145/3372885.3373835
UR  - https://arxiv.org/abs/1904.10759
ID  - 1904.10759
ER  -