Homotopy Type Theory: Univalent Foundations of Mathematics — The Univalent Foundations Program, Institute for Advanced Study | Kutubxona