Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory
27 Feb -
5 Mar 2011
ID: 1109a
- Organizers
-
Steve Awodey, Pittsburgh Richard Garner, Cambridge UK Per Martin-Löf, Stockholm Vladimir Voevodsky, Princeton
Lookup workshop in oberwolfach photo collection