Computational Interpretation of Topos Theory

Apr 12, 2018, 1:45 PM
1h
Marilyn and James Simons Conference Centre (IHES)

Marilyn and James Simons Conference Centre

IHES

35 route de Chartres 91440 Bures-sur-Yvette

Speaker

Thierry Coquand (University of Göteborg)

Presentation materials