Skip to main content

Dependent Type Theories

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