Skip to main content

Dependent Type Theories

Posted in
Speaker: 
Vladimir Voevodsky
Affiliation: 
IAS/MPIM
Date: 
Thu, 11/02/2016 - 10:00 - 11:00
Location: 
MPIM Lecture Hall
© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A