From Substructural Logic to Systems Code

17^th November 2009, 16:00
Prof Peter O'Hearn
Department of Computer Science, Queen Mary, University of London, UK