A (mostly) self-contained note on Kleene
Indices (in German), as part of the course
"Logik II" in the summer term 2006.
Another documentation (again in
German) of a course of the
Schülerakademie. This course had the title "Define and
Conquer" and was on recursion theory and a bit of complexity
theory. It was given jointly with
Latte at the Schülerakademie Hilden 2005.
(again in German) of a course on the lambda calculus. Again with Thomas Fischbacher.
This times the course was given at the
The documentation was written by the participants.