Working Group on Univalent Foundations
Date & Time:
Fri, 11/09/2012 - 13:30 - 15:00
Location:
S-101
Rooms:
White-Levy Room terms: