[TYPES/announce] Participants of the Univalent Foundations program

Vladimir Voevodsky vladimir at ias.edu
Sat Jul 14 06:39:37 EDT 2012

The list of participants in the next year program on the Univalent Foundations at the IAS, Princeton, NJ is now posted at http://www.math.ias.edu/sp/univalent/participants   It will be updated as more info becomes available. 


More information about the Types-announce mailing list