Previous Special Year Seminar
Jan
17
2013
Dec
20
2012
Univalent Foundations Seminar
Constructing HITs in a Realizability Model
11:00am|West Bldg. Lecture Hall