<p dir="ltr">As you can guess, the correct URL is<br>
<a href="http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html">http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html</a></p>
<p dir="ltr">Guillaume</p>
<div class="gmail_quote">Le 21 juin 2013 13:09, &quot;Victor Porton&quot; &lt;<a href="mailto:porton@narod.ru">porton@narod.ru</a>&gt; a écrit :<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
21.06.2013, 13:11, &quot;Andrej Bauer&quot; &lt;<a href="mailto:andrej.bauer@andrej.com">andrej.bauer@andrej.com</a>&gt;:<br>
&gt; I am very happy to announce the first public release of the &quot;HoTT Book&quot;:<br>
&gt;<br>
&gt; Homotopy Type Theory: Univalent Foundations of Mathematics<br>
&gt;<br>
&gt; by Univalent Foundations Project<br>
&gt; at Institute for Advanced Study<br>
&gt;<br>
&gt; The book is freely available at <a href="http://homotopytypetheory.org/book/" target="_blank">http://homotopytypetheory.org/book/</a><br>
&gt;<br>
&gt; You can download PDF in several formats, or cheaply buy a bound copy.<br>
&gt;<br>
&gt; There are by now several blog posts about the book which explain well<br>
&gt; what it is about:<br>
&gt;<br>
&gt; * the official announcement by Steve Awodey:<br>
&gt; <a href="http://homotopytypetheory.org/2013/06/20/the-hott-book/" target="_blank">http://homotopytypetheory.org/2013/06/20/the-hott-book/</a><br>
&gt; * Mike Shulman&#39;s announcement on n-Cafe:<br>
&gt; <a href="http://golem.ph.utexas.edu/category/2013/06/the_hott_book.htmlhttp://golem.ph.utexas.edu/category/2013/06/the_hott_book.html" target="_blank">http://golem.ph.utexas.edu/category/2013/06/the_hott_book.htmlhttp://golem.ph.utexas.edu/category/2013/06/the_hott_book.html</a><br>

<br>
Not Found<br>
<br>
The requested URL /category/2013/06/the_hott_book.htmlhttp://<a href="http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html" target="_blank">golem.ph.utexas.edu/category/2013/06/the_hott_book.html</a> was not found on this server.<br>

<br>
&gt; * Andrej Bauer discusses the social and technological aspects of<br>
&gt; writing the book at <a href="http://audrey.fmf.uni-lj.si/hott.html" target="_blank">http://audrey.fmf.uni-lj.si/hott.html</a><br>
&gt; * Bob Harper announces the book and discusses what needs to be done:<br>
&gt; <a href="http://existentialtype.wordpress.com/2013/06/20/the-homotopy-type-theory-book-is-out/" target="_blank">http://existentialtype.wordpress.com/2013/06/20/the-homotopy-type-theory-book-is-out/</a><br>
&gt; * Carlo Agiuli wrote an introduction to the introduction:<br>
&gt; <a href="http://www.carloangiuli.com/blog/homotopy-type-theory-univalent-foundations-of-mathematics/" target="_blank">http://www.carloangiuli.com/blog/homotopy-type-theory-univalent-foundations-of-mathematics/</a><br>

&gt;<br>
&gt; If you&#39;re more of a visual person, watch a movie about the making of<br>
&gt; the book (these are modern times): <a href="https://vimeo.com/68761218" target="_blank">https://vimeo.com/68761218</a><br>
&gt;<br>
&gt; With kind regards,<br>
&gt;<br>
&gt; Andrej<br>
<br>
--<br>
Victor Porton - <a href="http://portonvictor.org" target="_blank">http://portonvictor.org</a><br>
</blockquote></div>