Computer Laboratory > Teaching > Course material 2008–09 > Denotational Semantics


Denotational Semantics

Principal lecturer: Dr Marcelo Fiore
Taken by: Part II
Past exam questions

Lecture notes  PDF

Learning checklist  PDF

Lecture slides

  • Part I
  • Introduction  PDF
    --- Denotational semantics of IMP in SML
  • Least Fixed Points  PDF
    --- Typed call-by-value fix in SML
  • Constructions on Domains  PDF
  • Scott Induction  PDF

  • Part II
  • PCF  PDF
  • Denotational Semantics of PCF  PDF
  • Relating Denotational and Operational Semantics  PDF
  • Full Abstraction  PDF
  • Feedback
  • Please provide feedback through the online lecture course feedback form.