unglue.it Works published by Univalent Foundations with free editions

X

All

Univalent Foundations books with free versions

Explore

View As:

Sort by:
popular
newest

Homotopy Type Theory: Univalent Foundations of Mathematics

The Univalent Foundations Program, Institute for Advanced Study

More Info

AVAILABLE!

Login to Fave

Read it Now

Homotopy Type Theory: Univalent Foundations of Mathematics

The Univalent Foundations Program, Institute for Advanced Study

Login to Fave

Faved by 7

1