Conference
Invited speakers
Proceedings
Schedule
Timetable
Workshops
CRECOGI
LCC
PLRR
QSLC
Venue
Location
Accommodation
Organizing committee
Programme committee
CSL 2016
Marseille, France
August 29 – September 1
Workshops: August 28, September 2 and 3
A homotopy-theoretic model of function extensionality in the effective topos
Daniil Frumin
Benno van den Berg
Schedule
Sept. 2, 2016, 10:30 - 11:00
Attachments
slides