Total number of photos: 24125

2011

Richard Garner

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: 13816

Find related pictures