Big Books of 2026

Books by Univalent Foundations Project

Univalent Foundations Project
Univalent Foundations Project
Average rating 5.00 · 2 ratings · 0 reviews · shelved 15 times


Showing 1 distinct work.
sort by

Homotopy Type Theory
by
it was amazing 5.00 avg rating — 1 rating
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars


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