Published on Max Planck Institute for Mathematics (http://www.mpim-bonn.mpg.de)

Home > Seminar > Workshop on Homotopy Type Theory: Open Seminar

Workshop on Homotopy Type Theory: Open Seminar

Posted in
Date: 
Wed, 10/02/2016 - 14:30 - Sun, 14/02/2016 - 18:00
Location: 
MPIM Lecture Hall [2]
Details: 
Program [3] and Abstracts [4] of Workshop on Homotopy Type Theory: Open Seminar
Source URL: http://www.mpim-bonn.mpg.de/node/6501

Links:
[1] http://www.mpim-bonn.mpg.de/taxonomy/term/41
[2] http://www.mpim-bonn.mpg.de/node/3444
[3] http://www.mpim-bonn.mpg.de/node/6501/program?page=last
[4] http://www.mpim-bonn.mpg.de/node/6501/abstracts