Logique et Lambda-calcul

Tom Hirschowitz

Notes de cours

  • Nouvelles notes de cours, en cours de rédaction, ici.
  • Anciennes notes de cours, à la fois incomplètes, trop rapides et trop détaillées, ici.
  • Résumé des règles de la déduction naturelle intuitionniste ici.

Feuilles de TD

Travaux pratiques