2011
On the Photo:
- Awodey, Steve (left)
- Garner, Richard
- Martin-Löf, Per
- Voevodsky, Vladimir (right)
Occasion:Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory
Annotation: Organisers
Location: Oberwolfach
Author: Schmid, Renate (photos provided by Schmid, Renate)
Source: MFO
Year: 2011
Copyright: MFO
Photo ID: 13814