Up: Computer Aided Formal Reasoning
Previous:
Lecture notes
Exercises
- Programming in type theory
Deadline: Friday, 27 October 1995
- Reasoning in intuitionistic logic
Deadline: Monday, 13 November 1995
- Type theory - a unifying framework
for logic and computation
Deadline: Monday, 27 November 1995
- Advanced exercises
Deadline: Monday, 18 December 1995
Thomas Schreiber