Browse by SupervisorsNumber of items: 3. 2025Baston, Colm (2025) Agent-Based Logics in Dependent Type Theory. PhD thesis, University of Nottingham. 2020von Raumer, Jakob (2020) Higher inductive types, inductive families, and inductive-inductive types. PhD thesis, University of Nottingham. 2017Capriotti, Paolo (2017) Models of type theory with strict equality. PhD thesis, University of Nottingham. |