Teaching and Course Notes

• Courses notes for the courses taught in the Master of Paris VII:
  Compilation

  Sémantique

  Logiciel Libre (Free Software)

• Courses notes for the courses taught in the Master of ENS Cachan:
  Programmation 2

• Courses notes for the courses taught in the Licence de Paris VII:
  Mathématiques pour l'Informatique

• Courses notes for the courses taught in the IUP de Paris VII:
  Programmation C

• Courses notes for the courses taught in the DEUG MIAS de Paris VII:
  IF121 (1999/2000-2000/2001)

  IF242 (2003/2004)

• Conferences professionnelles pour la Maîtrise de Paris VII

• Courses notes for the courses taught in the Dea de Sémantique, Preuves et Programmation:
  Denotational Semantics
  Introduction to Linear Logic (in cooperation with Vincent Danos)

• Courses taught in the MMFAI:

  Support documents for the introductory course on Objective Caml

  Some general courses taught in french ...

  and here is something on Object Oriented

• Selected Lectures, Seminars, Schools:
  A brief history of rewriting with extensionality (Gzipped Postscript),
  A lecture given at the International Summer School on Type Theory and Rewriting, Glasgow, September 1996.

Some nice projects by our students