Total number of photos: 23664

2011

Per Martin-Löf

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

Find related pictures