Total number of photos: 24092

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

Steve Awodey, Richard Garner, Per Martin-Löf, Vladimir Voevodsky
    • S. Awodey
    • R. Garner
    • P. Martin-Löf
    • V. Voevodsky
    • (2011)
 		Steve Awodey
    • S. Awodey
    • (2011)
 		Richard Garner
    • R. Garner
    • (2011)
 		Per Martin-Löf
    • P. Martin-Löf
    • (2011)
Vladimir Voevodsky
    • V. Voevodsky
    • (2011)
    • Mini-Workshop: The Homotopy In...
    • (2011)

For more detailed information please click on the photo.