---

Logique et fondements de l'informatique
Prgrammation

---

• D'autres exercices énoncé
• Petits exercices énoncé
• Évaluation d'un lambda-calcul étendu : énoncé, programme.