Please use this identifier to cite or link to this item:
http://dr.iiserpune.ac.in:8080/xmlui/handle/123456789/4694| Title: | An Overview of Homotopy Type Theory and Formal Methods |
| Authors: | Gadgil, Siddhartha NYAPATHI, HARSHA Dept. of Mathematics 20151058 |
| Keywords: | Mathematics Foundations Formal Proving 2020 |
| Issue Date: | Apr-2020 |
| Abstract: | In this project, I have studied the basics of type theory, as a foundation for mathematics and a basis for theorem provers, using which we can formalize mathematical objects and proofs, and check their validity as well. I have taken up an example of representing graphs in type theoretic language to understand the formalization better. I have also studied homotopy type theory as an extension of Intuitionistic type theory, with the addition of univalence axiom and higher inductive types. |
| URI: | http://dr.iiserpune.ac.in:8080/xmlui/handle/123456789/4694 |
| Appears in Collections: | MS THESES |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Harsha_Nyapathi_thesis.pdf | MS Thesis | 446.33 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.