Skip to main content

Dependent Type Theories

Posted in
Speaker: 
Vladimir Voevodsky
Zugehörigkeit: 
IAS/MPIM
Datum: 
Sam, 13/02/2016 - 10:00 - 11:00
Location: 
MPIM Lecture Hall
© MPI f. Mathematik, Bonn Impressum & Datenschutz
-A A +A