Working Group on Univalent Foundations

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