Homotopy Type-Theoretic Interpretations of Constructive Set Theories

Gallozzi, Cesare (2018) Homotopy Type-Theoretic Interpretations of Constructive Set Theories. PhD thesis, University of Leeds.

Abstract

Metadata

Supervisors: Gambino, Nicola and Rathjen, Michael
Keywords: Homotopy Type Theory, Constructive Set Theory, Linear Type Theory
Awarding institution: University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Identification Number/EthosID: uk.bl.ethos.762503
Depositing User: Cesare Gallozzi
Date Deposited: 11 Dec 2018 11:18
Last Modified: 18 Feb 2020 12:49

Download

Final eThesis - complete (pdf)

Export

Statistics


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.