Previous Special Year Seminar
Feb
13
2013
Univalent Foundations Seminar
The Hopf Fibration via Higher Inductive Types
Peter Lumsdaine
11:00am|S-101
Feb
07
2013
Univalent Foundations Seminar
Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?
Peter Aczel
11:00am|S-101