Seminars
| Contents | Material (will be added during the course) | |
| S1 | Abstract and concrete grammars. Languages and regular expressions. | 1.pdf, solutions |
| S2 | Structural induction, semantic functions, and substitution | 2.pdf, sol2.pdf |
| S3 | Operational semantics | 3.pdf sol3.pdf |
| S4 | Prolog and extensions of While | 4.pdf sol4.pdf |
| S5 09-05-08 | Lambda calculus, compiling, and domain theory | 5.pdf sol5.pdf |
| S6 09-05-15 | Denotational semantics | 6.pdf sol6.pdf |