Browse by Supervisors

[up] Up a level
Group by: Creators | Date | No Grouping
Number of items: 3.

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

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

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

This list was generated on Fri Oct 10 18:51:59 2025 UTC.