The Univalent Foundations Program

  1. home
  2. Author
  3. The Univalent Foundations Program
The Univalent Foundations Program

2 Published BooksThe Univalent Foundations Program

Popular Books by The Univalent Foundations Program

Homotopy Type Theory
Homotopy Type Theory
View More

Homotopy Type Theory

By: The Univalent Foundations Program
Homotopy Type Theory: Univalent Foundations of Mathematics
Homotopy Type Theory: Univalent Foundations of Mathematics
View More

Homotopy Type Theory: Univalent Foundations of Mathematics

By: The Univalent Foundations Program