Mathematically Structured Programming Group

Computer and Information Sciences

University of Strathclyde

Open Games

Recordings of Neil's tutorial sessions

Various resources