Up: Computer Aided Formal Reasoning Previous: Lecture notes

Exercises

  1. Programming in type theory
    Deadline: Friday, 27 October 1995

  2. Reasoning in intuitionistic logic
    Deadline: Monday, 13 November 1995

  3. Type theory - a unifying framework for logic and computation
    Deadline: Monday, 27 November 1995

  4. Advanced exercises
    Deadline: Monday, 18 December 1995

Thomas Schreiber