Browse by Authors and Editors

[up] Up a level
Group by: Item Type | Date | No Grouping
Jump to: Conference or Workshop Item | Thesis (University of Nottingham only)
Number of items: 2.

Conference or Workshop Item

Jaskelioff, Mauro Javier, Ghani, Neil and Hutton, Graham (2008) Modularity and implementation of mathematical operational semantics. In: Second Workshop on Mathematically Structured Functional Programming (MSFP 2008), 6 July 2008, Reykjavik, Iceland.

Thesis (University of Nottingham only)

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

This list was generated on Mon Dec 30 17:13:50 2024 UTC.