The Univalent Foundations Program’s Followers (2)

The Univalent Foundations Program

Average rating: 4.54 · 56 ratings · 4 reviews · 2 distinct works

	Homotopy Type Theory 4.51 avg rating — 53 ratings — published 2013 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Homotopy Type Theory: Univalent Foundations of Mathematics it was amazing 5.00 avg rating — 4 ratings	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

* Note: these are all the books on Goodreads for this author. To add more, click here.

Is this you? Let us know. If not, help out and invite The to Goodreads.