Ordinal Exponentiation in Homotopy Type Theory.

Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

Browse the full LICS paper archive.