Univalent Foundations Seminar
On the Category of hSets
Date & Time
April 03, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Bas Spitters, Institute for Advanced Study
Affiliation
Radboud University Nijmegen; Member, School of Mathematics