[TYPES/announce] Fwd: [HoTT] Univalent Foundations Library

Steve Awodey awodey at cmu.edu
Fri Jan 3 11:37:47 EST 2014



Begin forwarded message:

> From: Vladimir Voevodsky <vladimir at ias.edu>
> Subject: [HoTT] Univalent Foundations Library
> Date: January 3, 2014 10:48:41 AM EST
> To: "HomotopyTypeTheory at googlegroups.com" <homotopytypetheory at googlegroups.com>, coq-club Club <coq-club at inria.fr>
> 
> Hello,
> 
> the Univalent Foundations Library together with an overview paper for it has finally been accepted to arXiv. It can be found here:  http://arxiv.org/abs/1401.0053 .
> 
> 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/groups/opt_out.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140103/9dd2cb7f/attachment.html>


More information about the Types-announce mailing list