Browse by Supervisors

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

2009

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 Nov 24 13:41:45 2024 UTC.