Working Group on Univalent Foundations

Submitted by admin on Thu, 02/14/2013 - 11:01
The Universe is Indiscrete
Martin Escardo
University of Birmingham, UK
Date & Time: 
Fri, 02/22/2013 - 11:00 - 12:30
Location: 
S-101
terms: