Connexion

TDs de lambda calcul

La version 2026 des TDs de lambda-calcul.

3 février : TD1, TD1 large
10 février : TD2, TD2 large
17 février : TD3, TD3 large
10 mars : TD4, TD4 large

Les TDs de 2025 pour mémoire.