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 Event Series Members’ Colloquium Categories Mathematics Academic Video The meta-theory of dependent type theories
