1. Digital Repository at Indian Institute of Science Education and Research Pune
  2. THESES & PROJECT REPORTS
  3. MS THESES
Please use this identifier to cite or link to this item: http://dr.iiserpune.ac.in:8080/xmlui/handle/123456789/759
Full metadata record
DC FieldValueLanguage
dc.contributor.advisorHOGADI, AMITen_US
dc.contributor.authorPRASAD, VARUNen_US
dc.date.accessioned2018-04-18T02:57:22Z
dc.date.available2018-04-18T02:57:22Z
dc.date.issued2017-03en_US
dc.identifier.urihttp://dr.iiserpune.ac.in:8080/xmlui/handle/123456789/759-
dc.language.isoenen_US
dc.subject2017
dc.subjectMathematicsen_US
dc.subjectHomotopyen_US
dc.subjectUnivalent Foundationsen_US
dc.titleHomotopy Type Theory and The Univalent Foundations of Mathematicsen_US
dc.typeThesisen_US
dc.type.degreeBS-MSen_US
dc.contributor.departmentDept. of Mathematicsen_US
dc.contributor.registration20111028en_US
Appears in Collections:MS THESES

Files in This Item:
File Description SizeFormat 
20111028_Varun_Prasad.pdf459.55 kBAdobe PDFView/Open
Show simple item record


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.