[FOM] Univalent foundations book

David Roberts david.roberts at adelaide.edu.au
Thu Jun 20 20:39:27 EDT 2013


I supply this for your consideration with no further comment:

http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html

Best regards,
David Roberts
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130621/39de18c1/attachment.html>


More information about the FOM mailing list