![School of Mathematics Event](/sites/default/files/styles/two_column_medium/public/2019-09/sm_default.jpg?itok=gMvWynkh)
Univalent Foundations Tutorial
Isomorphism of Types: A Simple(-Typed) Viewpoint
Date & Time
March 25, 2013 | 4:00pm – 5:30pm
Location
S-101Speakers
Sergei Soloviev
Affiliation
Institut de Recherche en Informatique de Toulouse