• Chapitre 1: Introduction à la déduction naturelle (version préliminaire, en français)
• Chapitre 2: Coupures et propriété de la sous-formule en déduction naturelle (version préliminaire et incomplète)
• Chapitre 3: Premières notions de lambda-calcul (version préliminaire, en français)
• Chapitre 4: constructions de points-fixes en lambda-calcul (voir le sujet de DM)
• Chapitre 5: Confluence du lambda-calcul (version préliminaire, en français, du 17/11/21)
• Chapitre 6: Résidus et développements, théorème des développements finis (version du 28/11/21)
• Chapitre 7: Standardisation, réduction gauche et réduction de tête (version du 28/11/21)
• Chapitre 8: Lambda-calculabilité: représentation des fonctions récursives (voir le sujet de DM ci-dessous)
• Chapitre 9: Lambda-calcul simplement typé et théorèmes de normalisation (version du 28/11/21)

• TD du 10 novembre 2021
• Exercices préparatoires pour le TD du 24 novembre 2021

• DM pour le 3 décembre 2021 (version éditée le 28/11/21)

À venir