Foundations and Applications of Univalent Mathematics

Nordvall Forsberg, F. (Keynote/plenary speaker)

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

Description

Foundations and Applications of Univalent Mathematics: "Ordinal Notation Systems for Ordinals below ε₀ in HoTT"

Period	20 Dec 2019
Event type	Workshop
Location	Munich, Germany, BavariaShow on map

Documents & Links

ordinals_herrsching
File: application/pdf, 1.8 MB
Type: Text