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
Gilles Dowek et Bertrand Fauchet,
Méthode pour l'épreuve d'informatique, Dunod (1988).
Polycopiés
Les démonstrations et les
algorithmes. Introduction à la logique et à la
calculabilité
(École polytechnique,
troisième
année, M1).
Les
principes des langages de programmation
(École polytechnique, première année, L3).
Introduction à la théorie des langages de
programmation (É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 Logique et calculabilité.
La page du cours Les principes des langages de programmation.
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