Number of items: **9**.

## D

Day, Laurence E.
(2017)
*The modular compilation of effects.*
PhD thesis, University of Nottingham.

Dijkstra, Gabe
(2017)
*Quotient inductive-inductive definitions.*
PhD thesis, University of Nottingham.

## G

Grattage, Jonathan James
(2006)
*A functional quantum programming language.*
PhD thesis, University of Nottingham.

## K

Kaposi, Ambrus
(2017)
*Type theory in a type theory with quotient inductive types.*
PhD thesis, University of Nottingham.

Kraus, Nicolai
(2015)
*Truncation levels in homotopy type theory.*
PhD thesis, University of Nottingham.

## L

Li, Nuo
(2015)
*Quotient types in type theory.*
PhD thesis, University of Nottingham.

## P

Pinyo, Gun
(2023)
*Twisted Cubes and their Applications in Type Theory.*
PhD thesis, University of Nottingham.

## S

Sestini, Filippo
(2023)
*Bootstrapping extensionality.*
PhD thesis, University of Nottingham.

## T

Thaler, Jonathan
(2020)
*Investigating the use of pure functional programming for agent-based simulation.*
PhD thesis, University of Nottingham.

This list was generated on **Sat Nov 2 20:21:47 2024 UTC**.