What do you think?
Rate this book
Introduction to Homotopy Type Theory
Not yet published
Expected 31 Oct 25383 pages, Hardcover
Expected publication October 31, 2025
2 people are currently reading
6 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.