Items where Author is "Larrea, Marco Federico"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Larrea, Marco Federico (2018) Models of Dependent Type Theory from Algebraic Weak Factorisation Systems. PhD thesis, University of Leeds.
Larrea, Marco Federico (2018) Models of Dependent Type Theory from Algebraic Weak Factorisation Systems. PhD thesis, University of Leeds.