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: 2.

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

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

This list was generated on Sun May 5 11:49:33 2024 UTC.