Skip to content. | Skip to navigation

Sections
You are here: Home Scientific Programme Annual Schedules Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory
Title
Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory
Workshop ID: 1109a
Organisers
Steve Awodey, Pittsburgh
Richard Garner, Cambridge UK
Per Martin-Löf, Stockholm
Vladimir Voevodsky, Princeton
Date: 27 Feb - 5 Mar 2011
Report
OWR_2011_11.pdf

Lookup workshop in oberwolfach photo collection