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