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

Workshop Reports


Lookup workshop in oberwolfach photo collection