Livejournal
Log in
Post
Friends
My journal
nivanych
The HoTT Book
Jun 21, 2013 11:39
http://homotopytypetheory.org/book/
http://homotopytypetheory.org/2013/06/20/the-hott-book/
http://golem.ph.utexas.edu/category/2013/06/the_hott_book.html
Leave a comment
Read comments 15
Previous post
Next post
Up