Total number of photos: 23664

2011

Steve Awodey

On the Photo:

Occasion:Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory

Location: Oberwolfach

Author: Schmid, Renate (photos provided by Schmid, Renate)

Source: MFO

Year: 2011

Copyright: MFO

Photo ID: 13815

Find related pictures