Homotopy Type Theory: Univalent Foundations of Mathematics
Homotopy Type Theory: Univalent Foundations of Mathematics PDF book is popular book written by . The book was released by Univalent Foundations on with total hardcover pages 484. Fast download link is given in this page, you could read Homotopy Type Theory: Univalent Foundations of Mathematics by in PDF, epub and kindle directly from your devices.
Homotopy Type Theory: Univalent Foundations of Mathematics
-
Homotopy Type Theory: Univalent Foundations of Mathematics Book Detail
- Author :
- Release Date :
- Publisher : Univalent Foundations
- Genre :
- Pages : 484
- ISBN 13 :
- File Size : 12,12 MB