Browse by Supervisors

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Date | No Grouping
Number of items: 3.

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

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

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

This list was generated on Thu May 2 13:38:46 2024 UTC.