Univalent Foundations Seminar
On Finite Types That Are Not h-Sets
Date & Time
February 14, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Sergey Melikhov
Affiliation
Steklov Mathematical Institute; Member, School of Mathematics