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 -⭐.

Details
Rating
Readers Count
Controls
Cover 8

Homotopy Type Theory

Homotopy Type Theory
  • The Univalent Foundations Program
00 reads