Total number of photos: 17178

Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory: 2011-02-27 - 2011-03-05

For more detailed information please click on the photo.