Published on Max-Planck-Institut für Mathematik (https://www.mpim-bonn.mpg.de)

Home > Vortrag > Homotopy theory of type theories

Homotopy theory of type theories

Posted in
Speaker: 
Peter Lumsdaine
Datum: 
Don, 11/02/2016 - 16:30 - 18:00
Location: 
MPIM Lecture Hall [2]
Parent event: 
Workshop on Homotopy Type Theory [3]
Source URL: https://www.mpim-bonn.mpg.de/de/node/6497

Links:
[1] https://www.mpim-bonn.mpg.de/de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/de/node/3444
[3] https://www.mpim-bonn.mpg.de/de/node/6459