Browse by Supervisors

[up] Up a level
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 Tue Feb 25 18:50:02 2025 UTC.