Browse by Supervisors
Number of items: 6. 2015Balestrieri, Florent (2015) The productivity of polymorphic stream equations and the composition of circular traversals. PhD thesis, University of Nottingham. Sattler, Christian (2015) On the complexities of polymorphic stream equation systems, isomorphism of finitary inductive types, and higher homotopies in univalent universes. PhD thesis, University of Nottingham. 2011Prince, Rawle C.S. (2011) Aspects of the theory of containers within automated theorem proving. PhD thesis, University of Nottingham. 2010Green, Alexander S. (2010) Towards a formally verified functional quantum programming language. PhD thesis, University of Nottingham. 2009Chapman, James Maitland (2009) Type checking and normalisation. PhD thesis, University of Nottingham. Swierstra, Wouter (2009) A functional specification of effects. PhD thesis, University of Nottingham. |
