Algebraic and Coalgebraic Methods in Semantics

Daniele Turi

LFCS Theory Post-Graduate course (Summer term 2000)

• Syllabus
• Slides
  • Lecture III
    • Dynamic
    • Static
  • Lecture IV: Distributive Laws for Semantics
    • Dynamic
    • Static
  • Lecture V: Natural Operational Semantics
    • Dynamic
    • Static

Lectures @ 3pm

• Mondays: room 6206
• Thursdays: room 6203

The last lecture will be on Monday, June 12 (in room 6207).

Note that the slides are in PDF. If you download them then you can read them in full screen. (Unix users: call acroread. To free the screen when you are finished press ESCAPE.)

If you want to create similar slides see the PPower4 home page. I have also put the LaTeX file of my slides on the web.