Univalent Foundations Seminar
Invariance Under Isomorphism and Definability
Date & Time
December 13, 2012 | 11:00am – 12:30pm
Location
S-101Speakers
Per Martin-L\"of
Affiliation
Stockholm University