Homotopy Type Theory Electronic Seminar Talk: "Different Notions of Ordinals in Homotopy Type Theory"

Activity: Talk or presentation types › Invited talk

Period3 Mar 2022
Event titleHomotopy Type Theory Electronic Seminar Talks
Event typeSeminar
Degree of RecognitionInternational

Documents & Links