The Univalent Foundations Program

The Univalent Foundations Program

The Univalent Foundations Program has written at least 1 book. Their most popular book is Homotopy Type Theory with 1 save with an average rating of -⭐.

They are best known for writing in the genres one, asdfsa, and Asdfsa.

mone, asdfsa, and Asdfsa are their most common moods.

Cover 8

Homotopy Type Theory
ByThe Univalent Foundations Program

2013 • 1 Reader • 618 pages