Please use this identifier to cite or link to this item:
http://dr.iiserpune.ac.in:8080/xmlui/handle/123456789/759| Title: | Homotopy Type Theory and The Univalent Foundations of Mathematics |
| Authors: | HOGADI, AMIT PRASAD, VARUN Dept. of Mathematics 20111028 |
| Keywords: | 2017 Mathematics Homotopy Univalent Foundations |
| Issue Date: | Mar-2017 |
| URI: | http://dr.iiserpune.ac.in:8080/xmlui/handle/123456789/759 |
| Appears in Collections: | MS THESES |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 20111028_Varun_Prasad.pdf | 459.55 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.