About
Partners
Sign in
Join
Homotopy Type Theory
Univalent Foundations of Mathematics
Univalent Foundations Program
—
2013
This book is the product of a yearlong collaboration at the Institute for Advanced Study. It describes (the beta version of) a new language for mathematics, which may some day replace set theory.
Show more
Buy
Want to read
Sign up to use
Share
0
Reviews
0
Highlights
1
Currently reading
0
Finished
1
Want to read