Homotopy Type Theory: Univalent Foundations of Mathematics

Front Cover
Univalent Foundations
1 Review
Reviews aren't verified, but Google checks for and removes fake content when it's identified
 

What people are saying - Write a review

Reviews aren't verified, but Google checks for and removes fake content when it's identified
User Review - Flag as inappropriate

The pdf of this book is available at: http://homotopytypetheory.org/book/
The source code, including Coq proofs, is at: https://github.com/HoTT/book
If you have a correction or improvement, please contribute.

Common terms and phrases

Bibliographic information