Denotational Semantics

Denotational Semantics

Andrew Pitts

Eight lectures for the Computer Science Tripos, Part II.

  • Lecture notes and slides.
  • List of corrections to the notes.

  • Feedback from students registered for CST: If high lecturing standards are to be maintained and lower standards to be raised, it is important for lecturers to receive feedback about their lectures. Consequently, we would be grateful if you would complete this questionnaire. A digest of the information will be passed to the Staff-Student Liaison and Teaching Committees.
    To Computer Science Teaching page