Skip to main content

Dependent Type Theories

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