Lecture 1: Proofs in theories
Teacher: Gilles Dowek
Foundations of proof systems (M2 MPRI)
Exercise Sheet 1
Teacher: Gilles Dowek
Lecture 2: Models
Teacher: Gilles Dowek
Lecture 3: Arithmetic
Teacher: Gilles Dowek
Exercises 2: Termination of $β$-reduction and Simple Type Theory
Teacher: Gilles Dowek
Lecture 4: Simple Type Theory
Teacher: Gilles Dowek
Lecture 5: Termination of proof reduction in Deduction modulo theories
Teacher: Gilles Dowek
Exercises 3: Term associated to a proof, Leivant/Krivine/Parigot arithmetic
Teacher: Gilles Dowek
Lecture 6: Dependent type theory
Teacher: Gilles Dowek
Lecture 7 (Master Class): Negative translation
Teacher: Valentin Blot