Contributed talk TYPES 2021: "Constructive Notions of Ordinals in Homotopy Type Theory"
- Nordvall Forsberg, F. (Speaker)
- Chuangjie Xu (Speaker)
- Nicolai Kraus (Speaker)
Activity: Talk or presentation types › Oral presentation
Activity: Talk or presentation types › Oral presentation