Browse by Supervisors
Number of items: 2. JJaskelioff, Mauro Javier (2009) Lifting of operations in modular monadic semantics. PhD thesis, University of Nottingham. SSwierstra, Wouter (2009) A functional specification of effects. PhD thesis, University of Nottingham. |