In english:
Principles of programming
languages is available on amazon.com,
amazon.uk,
amazon.fr,
and directly from
springer.com.
Automated theorem proving in type theory,
Second International Summer School in Logic for Computer
Science,
Université de Paris 7 et
Université de Savoie (1994).
Introduction to proof theory.
(The slides
of my course at ESSLLI - this
version without slide
3 is smaller).
En français :
Livres
Sous la direction de Claude Deschamps,
Symbole (maths 2e), Belin (2010).
Gilles Dowek et Bertrand Fauchet,
Méthode pour l'épreuve d'informatique, Dunod (1988).
Les
principes des langages de programmation
Les Éditions de l'École polytechnique (2008).
Introduction à la théorie des langages de
programmation
Les Éditions de l'École polytechnique (2006, 2008).
Polycopiés
Les démonstrations et les
algorithmes. Introduction à la logique et à la
calculabilité
(École polytechnique,
troisième
année, M1).
Théories des types
(Master Parisien de Recherche en Informatique - Paris 7, École
polytechnique, École normale supérieure, École normale supérieure de
Cachan, M2).
Démonstration automatique
(École Nationale Supérieure de Techniques Avancées).
Liens
La page du cours Les principes des langages de programmation.
La page du cours Logique et calculabilité.
La page du cours Introduction à la théorie des
langages de programmation.
Le site du Master
Parisien de Recherche en Informatique.
back to home page