Contributed talk HoTT 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 May 2023
Event titleThe Second International Conference on Homotopy Type Theory
Event typeConference
Conference number2023
LocationPittsburgh, United States, PennsylvaniaShow on map
Degree of RecognitionInternational

Documents & Links

  • Abstract

    File: application/pdf, 369 KB

    Type: Text