Contributed talk HoTT/UF 2024: "Ordinal exponentiation in homotopy type theory"

  • Nordvall Forsberg, F. (Speaker)
  • Tom de Jong (Contributor)
  • Nicolai Kraus (Contributor)
  • Chuangjie Xu (Contributor)

Activity: Talk or presentation types › Oral presentation

Period2 Apr 2024
Event titleWorkshop on Homotopy Type Theory / Univalent Foundations 2024
Event typeWorkshop
LocationLeuven, BelgiumShow on map
Degree of RecognitionInternational

Documents & Links