Fun and Games.

• I have moved to the School of Cognitive and Computing Sciences, at the university of Sussex. Here is my new home page.
  My thesis, `A semantic analysis of control' is here (gzipped postscript, please let me know if that is a problem for you). The abstract can be found here.
  
  Here is an extended abstract of a presentation at LICS '97,
  `Full abstraction for functional languages with control'.
  
  
  Here are the notes for my TPG course; `Computation and logic', Autumn 1999.
  
  
  

  The Mappa Mundi

  

  Mount Everest