Foundations and Applications of Univalent Mathematics

Activity: Participating in or organising an event typesKey-note speaker and plenary lectures at conferences

Description

Foundations and Applications of Univalent Mathematics: "Ordinal Notation Systems for Ordinals below ε₀ in HoTT"
Period20 Dec 2019
Event typeWorkshop
LocationMunich, Germany, Bavaria