Marco Federico Larrea
Original record- Institution
- University of Leeds
- Year
- 2018
- Country
- United Kingdom
- MGP identifier
- 287969
Dissertation: Models of Dependent Type Theory from Algebraic Weak Factorisation Systems
Advisor 1
- Nicola GambinoVictoria University of Manchester · 2002
Students 0
No students recorded in this snapshot.