Browse by Supervisors

[up] Up a level
Group by: Creators | Date | No Grouping
Jump to: C | H | J
Number of items: 3.

C

Capper, John (2014) Semantic methods for functional hybrid modelling. PhD thesis, University of Nottingham.

H

Hu, Liyang (2013) Compiling concurrency correctly: verifying software transactional memory. PhD thesis, University of Nottingham.

J

Jaskelioff, Mauro Javier (2009) Lifting of operations in modular monadic semantics. PhD thesis, University of Nottingham.

This list was generated on Thu Dec 26 23:49:21 2024 UTC.