Browse by Supervisors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | No Grouping
Jump to: B | C | G | P | S
Number of items: 6.

B

Balestrieri, Florent (2015) The productivity of polymorphic stream equations and the composition of circular traversals. PhD thesis, University of Nottingham.

C

Chapman, James Maitland (2009) Type checking and normalisation. PhD thesis, University of Nottingham.

G

Green, Alexander S. (2010) Towards a formally verified functional quantum programming language. PhD thesis, University of Nottingham.

P

Prince, Rawle C.S. (2011) Aspects of the theory of containers within automated theorem proving. PhD thesis, University of Nottingham.

S

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.

Swierstra, Wouter (2009) A functional specification of effects. PhD thesis, University of Nottingham.

This list was generated on Thu Mar 28 19:51:30 2024 UTC.