Tag: The Univalent Foundations Program

Homotopy Type Theory: Univalent Foundations of Mathematics by The Univalent Foundations Program (PDF)

  Ebook Info Published: 2013 Number of pages: Format: PDF File Size: 4.24 MB Authors: The Univalent...

Homotopy Type Theory: Univalent Foundations of Mathematics by The Univalent Foundations Program (PDF)

  Ebook Info Published: 2013 Number of pages: Format: PDF File Size: 3.17 MB Authors: The Univalent...

Advertisement

spot_img