Hacker News new | ask | show | jobs
by shawn 2940 days ago
https://books.google.com/books?id=LkDUKMv3yp0C&pg=PA11&lpg=P...

Homotopy Type Theory: Univalent Foundations of Mathematics
1 comments
arto 2939 days ago
Thanks!
link