• Login
• Admin

2023

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

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

2020

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

2017

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.

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

2015

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

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

2006

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