Univalent Foundations Seminar
Setoids, e-Categories, and Exact Completions
Date & Time
March 07, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Richard Garner
Affiliation
Queen Mary, University of London