Members’ Seminar
The meta-theory of dependent type theories
Date & Time
February 27, 2017 | 2:00pm – 3:00pm
Speakers
Vladimir Voevodsky, Institute for Advanced Study
Affiliation
Professor, School of Mathematics