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 4 saves with an average rating of 3⭐.

Cover 8

Homotopy Type Theory
ByThe Univalent Foundations Program

2013 • 4 Readers • 618 pages • 3