Contributed talk TYPES 2023: The ordinals in set theory and type theory are the same

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

Activity: Talk or presentation typesOral presentation

Period12 Jun 2023
Event title29th International Conference on Types for Proofs and Programs
Event typeConference
Conference number29
LocationValencia, SpainShow on map
Degree of RecognitionInternational