Working Group on Univalent Foundations
Michael Shulman
Institute for Advanced Study
Date & Time:
Wed, 12/12/2012 - 13:30 - 15:00
Location:
S-101 terms: