[FOM] Voevodsky talk on Univalent Foundations on March 26

Timothy Y. Chow tchow at alum.mit.edu
Sat Mar 1 12:09:31 EST 2014

Previous message: [FOM] An attempt of a constructive proof for Takeuti Conjecture
Next message: [FOM] Foundations Crucial
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

For those in or near Princeton, Voevodsky is scheduled to talk about 
Univalent Foundations on March 26 at 4:30 p.m.

http://www.ias.edu/news/voevodsky-lecture

Tim

Previous message: [FOM] An attempt of a constructive proof for Takeuti Conjecture
Next message: [FOM] Foundations Crucial
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list