Feedback

X
New
Univalent Foundations books with free versions
  • View As:
  • view list
  • view icon

Homotopy Type Theory: Univalent Foundations of Mathematics

The Univalent Foundations Program, Institute for Advanced Study

More Info
AVAILABLE!
Read it Now
Book cover
Homotopy Type Theory: Univalent Foundations of Mathematics
The Univalent Foundations Program, Institute for Advanced Study
Faved by 7
Read it Now