Browsing by Author PRASAD, VARUN
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 |
Issue Date | Title | Author(s) |
---|---|---|
Mar-2017 | Homotopy Type Theory and The Univalent Foundations of Mathematics | HOGADI, AMIT; PRASAD, VARUN; Dept. of Mathematics; 20111028 |