coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Vladimir Voevodsky <vladimir AT ias.edu>
- To: homotopytypetheory <homotopytypetheory AT googlegroups.com>, Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] slides
- Date: Thu, 27 Mar 2014 15:08:06 -0400
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.
- [Coq-Club] slides, Vladimir Voevodsky, 03/27/2014
- RE: [Coq-Club] [HoTT] slides, Joyal , André, 03/27/2014
- Re: [Coq-Club] [HoTT] slides, steve awodey, 03/28/2014
Archive powered by MHonArc 2.6.18.