Connecting Constructive Notions of Ordinals in Homotopy Type Theory.

Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu

Browse the full MFCS paper archive.