◀
Back to overview
Homotopy Type Theory
EC
8
Location
Utrecht University
Weeks
6 - 21
Lecture
Thursday, 14:00 - 16:45
Provider
Logic (Logica)
Links
Course page
(requires login)
Summary