The Coq mailing list

[Joyal, André <joyal.andre AT uqam.ca>]

Dear Vladimir,

Thank you for telling the story of your ideas on mathematics and foundation.
I find it very inspiring.

Best,
André J




________________________________________
From: 
HomotopyTypeTheory AT googlegroups.com
 
[HomotopyTypeTheory AT googlegroups.com]
 on behalf of Vladimir Voevodsky 
[vladimir AT ias.edu]
Sent: Thursday, March 27, 2014 3:08 PM
To: homotopytypetheory; Coq Club
Subject: [HoTT] slides

Hello,

I gave the public IAS lecture yesterday. The slides are here:

http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2014_IAS.pdf

The video recording should be available soon.

Vladimir.


--
You received this message because you are subscribed to the Google Groups 
"Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an 
email to 
HomotopyTypeTheory+unsubscribe AT googlegroups.com.
For more options, visit https://groups.google.com/d/optout.