Cours 2009/10

• Sup Galilée Informatique 3ème année
  • Théorie des Langages
  • Compilation
• Master Informatique 2ème année - Specialité Programmation et Logiciel Sure
  • Programme et Preuves
• Master Parisien de Recherche en Informatique (MPRI)
  • Linear logic and optimal reductions
    module de 12h du cours Linear logic and logical paradigms of computation (in english)
• Licence Informatique - 3ème année
  • Programmation Fonctionnelle
• Sup Galilée Informatique 1ère année
  • Sémantique des Langages de Programmation