Browse by Supervisors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | No Grouping
Jump to: D | G | K | L | S | T
Number of items: 8.

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.

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 Thu Mar 28 18:25:15 2024 UTC.