Previous Special Year Seminar
Dec
13
2012
Univalent Foundations Seminar
Invariance Under Isomorphism and Definability
Per Martin-L\"of
11:00am|S-101
Dec
06
2012