Internships

Internship Proposals

The "Master Parisien de Recherche en Informatique" (MPRI)

  • Homepage of the class Fondements des systèmes de preuves (course 2-7-1)
  • Notes on Type Theory by Gilles Dowek (in French)