Homotopy Type Theory and The Univalent Foundations of Mathematics

dc.contributor.advisor	HOGADI, AMIT	en_US
dc.contributor.author	PRASAD, VARUN	en_US
dc.date.accessioned	2018-04-18T02:57:22Z
dc.date.available	2018-04-18T02:57:22Z
dc.date.issued	2017-03	en_US
dc.identifier.uri	http://dr.iiserpune.ac.in:8080/xmlui/handle/123456789/759
dc.language.iso	en	en_US
dc.subject	2017
dc.subject	Mathematics	en_US
dc.subject	Homotopy	en_US
dc.subject	Univalent Foundations	en_US
dc.title	Homotopy Type Theory and The Univalent Foundations of Mathematics	en_US
dc.type	Thesis	en_US
dc.type.degree	BS-MS	en_US
dc.contributor.department	Dept. of Mathematics	en_US
dc.contributor.registration	20111028	en_US

Files in this item

Name: 20111028_Varun_Pr ...

Size: 459.5Kb

Format: PDF

MS THESES [1705]
Thesis submitted to IISER Pune in partial fulfilment of the requirements for the BS-MS Dual Degree Programme/MSc. Programme/MS-Exit Programme