Proof interpretations and applications. (Holger Blasum, supervisor Prof Dr Helmut Schwichtenberg)

• Version 1.2 (current release with corrections, unstable): (PDF) (LyX)
• Version 1.1 (release with corrections, frozen March 2007): (PDF) (LyX)
• Version 1.0 (original as handed in 02 October 2006): (PDF) (LaTeX) (LyX)
• Coded examples: Code

Comments and corrections welcome, feel free to contact.