Contributed talk TYPES 2021: "Constructive Notions of Ordinals in Homotopy Type Theory"

Activity: Talk or presentation typesOral presentation

Period14 Jun 2021
Event title27th International Conference on Types for Proofs and Programs
Event typeConference
LocationLeiden, NetherlandsShow on map