Contributed talk HoTT/UF 2023: Relating ordinals in set theory to ordinals in type theory

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

Activity: Talk or presentation types › Oral presentation

Period22 Apr 2023
Event titleWorkshop on Homotopy Type Theory/ Univalent Foundations 2023
Event typeWorkshop
Conference number2023
LocationVienna, AustriaShow on map
Degree of RecognitionInternational

Documents & Links

  • Abstract

    File: application/pdf, 374 KB

    Type: Text