Univalent Foundations Seminar
The Type System TS
Date & Time
December 19, 2012 | 11:00am – 12:30pm
Location
S-101Speakers
Vladimir Voevodsky, Institute for Advanced Study
Affiliation
IAS
Event Series
Categories
Notes
(continued)