Working Group on Univalent Foundations

Michael Shulman
Institute for Advanced Study
Date & Time: 
Wed, 12/12/2012 - 13:30 - 15:00
Location: 
S-101