1 - 4 of 4
1
Thesis icon
Thesis

The safe lambda calculus

  • Blum, W
  • 2009
2
Thesis icon
Thesis

Integration of rationale management with multi-criteria decision analysis, probabilistic forecasting and semantics: application to the UK energy sector

  • Hunt, J
  • 2013
3
Thesis icon
Thesis

A semantics for aspects by compositional translation

  • Sanjabi, S, Sam Sanjabi
  • 2008
4
Thesis icon
Thesis

Game semantics based equivalence checking of higher-order programs

  • Hopkins, D, David Hopkins
  • 2012
FILTER RESULTS

TO TOP