Browsing by Subject Univalent Foundations
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| Mar-2017 | Homotopy Type Theory and The Univalent Foundations of Mathematics | HOGADI, AMIT; PRASAD, VARUN; Dept. of Mathematics; 20111028 |