Total number of photos: 24092

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

Publications

If you would like to use this picture in the given resolution, please adhere to our general copyright policy.

In case you need the picture in high resolution, you may request it using the form below.

Intended use:
Intended publication: book, article, other (please specify), private use:
Publisher:
Comments:

Please enter your name, institution, address and email address, too:

Institution:
Name:
Address:
Email: