Contributed talk TYPES 2024: "Constructive Ordinal Exponentiation in Homotopy Type Theory"

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

Activity: Talk or presentation types › Oral presentation

Period13 Jun 2024
Event title30th International Conference on Types for Proofs and Programs
Event typeConference
LocationCopenhagen, DenmarkShow on map
Degree of RecognitionInternational

Documents & Links