Books by The Univalent Foundations Program

The Univalent Foundations Program
Average rating 4.53 · 55 ratings · 4 reviews · shelved 613 times

Showing 2 distinct works.

	Homotopy Type Theory by The Univalent Foundations Program 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 by The Univalent Foundations Program it was amazing 5.00 avg rating — 3 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 books, click here.