coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [HoTT] slides

From: steve awodey <steveawodey AT icloud.com>
To: Vladimir Voevodsky <vladimir AT ias.edu>
Cc: homotopytypetheory <homotopytypetheory AT googlegroups.com>, Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] [HoTT] slides
Date: Thu, 27 Mar 2014 21:01:28 -0400

Very nice!

Steve

Sent from my iPhone

> On Mar 27, 2014, at 3:08 PM, Vladimir Voevodsky
> <vladimir AT ias.edu>
> wrote:
>
> 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.

[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