Discover (Random Books)

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program

Category: 8.1

Windows 8.1 Succinctly

Matteo Pagani