Models of Dependent Type Theory from Algebraic Weak Factorisation Systems

Larrea, Marco Federico (2018) Models of Dependent Type Theory from Algebraic Weak Factorisation Systems. PhD thesis, University of Leeds.

Abstract

Metadata

Keywords: Mathematics, Logic, Algebraic Topology, Type Theory, Category Theory, HoTT
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 (e.g. uk.bl.ethos.123456): uk.bl.ethos.770050
Depositing User: Marco Federico Larrea
Date Deposited: 01 Apr 2019 09:38
Last Modified: 18 Feb 2020 12:49

Download

Final eThesis - complete (pdf)

Filename: HardBindVersion2-Thesis-MarcoLarrea.pdf

Description: PhD thesis

Licence: Creative Commons Attribution Non-commercial Share Alike (UK)

Share / Export


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.