Working Group on Univalent Foundations

Date & Time: 
Wed, 02/27/2013 - 13:30 - 15:00
Location: 
S-101