Browse by Supervisors

[up] Up a level
Group by: Creators | Date | No Grouping
Jump to: 2025 | 2020 | 2017
Number of items: 3.

2025

Baston, Colm (2025) Agent-Based Logics in Dependent Type Theory. PhD thesis, University of Nottingham.

2020

von Raumer, Jakob (2020) Higher inductive types, inductive families, and inductive-inductive types. PhD thesis, University of Nottingham.

2017

Capriotti, Paolo (2017) Models of type theory with strict equality. PhD thesis, University of Nottingham.

This list was generated on Mon Nov 10 10:45:20 2025 UTC.