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
- 17 mars: TD5, TD5 large
- 31 mars: TD6-7, TD6-7 large
- 7 avril système D: TD8, TD8 large
- 14 avril système Dw: TD9, TD9 large
- 21 avril système F: TD10, TD10 large
- 5 mai combinateurs: TD11, TD11 large