Browse by Supervisors
Number of items: 9. 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. Grattage, Jonathan James (2006) A functional quantum programming language. PhD thesis, University of Nottingham. 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. Li, Nuo (2015) Quotient types in type theory. PhD thesis, University of Nottingham. 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. Thaler, Jonathan (2020) Investigating the use of pure functional programming for agent-based simulation. PhD thesis, University of Nottingham. |
