Univalent Foundations Seminar
Type Systems
Date & Time
October 03, 2012 | 11:00am – 12:30pm
Location
S-101Speakers
Vladimir Voevodsky, Institute for Advanced Study
Affiliation
Professor, School of Mathematics, IAS