Total number of photos: 21235

2011

Steve Awodey, Richard Garner, Per Martin-Löf, Vladimir Voevodsky

On the Photo:

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

Find related pictures