Algebraic and Coalgebraic Methods in Semantics

Daniele Turi

LFCS Theory Post-Graduate course (Summer term 2000)

Lectures @ 3pm 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.

Daniele Turi
Last modified: Thu Jun 8 16:43:26 BST 2000