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