Browse by Supervisors

[up] Up a level
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 Wed Feb 26 01:48:15 2025 UTC.