Univalent Foundations Seminar

Submitted by admin on Thu, 02/07/2013 - 11:01
On Finite Types That Are Not h-Sets
Sergey Melikhov
Steklov Mathematical Institute; Member, School of Mathematics
Date & Time: 
Thu, 02/14/2013 - 11:00 - 12:30
Location: 
S-101
Video Link: 

http://video.ias.edu/univalent/1213/0214-SergeyMelikhov

terms: