Lectures on a Mathematical Theory of Computation

These notes were originally written for lectures on the semantics of programming languages delivered at Oxford during Michaelmas Term 1980. The purpose of the course was to provide the foundations needed for the method of denotational semantics; in particular I wanted to make the connections with recursive function theory more definite and to show how to obtain explicit, effectively given solutions to domain equations. Roughly, these chapters cover the first half of the book by Stoy, and he was able to continue the lectures the next term discussing semantical concepts following his text.