Cursusmateriaal

Deel 1: Semantiek en correctheid van imperatieve talen

Deel 2: Semantiek van functionele talen

(*): Deze documenten worden meestal pas vlak voor de colleges aangepast; wacht dus met printen totdat de definitieve versie er staat! EDIT: op 10 april 2014 zijn de versies voor dit collegejaar toegevoegd!