Total number of photos: 24133

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

For more detailed information please click on the photo.