Cours 1 : 𝛽-réduction et 𝛼-renommage
$\sim$ 1930 : Alonzo Church.
Lambda-calcul (L3 ENS Paris-Saclay / ENS Ulm)
- Teacher: Jean Goubault-Larrecq
- Teaching assistant: Guillaume Bury
- Course pages:
TD2 : graphes de réduction
Énoncé
TD4 : Modèles du 𝜆-calcul
Énoncé
Cours 2 : Modèles du 𝜆-calcul
Modèle du $𝜆$-calcul
Cours 2 : 𝜆-calcul simplement typé
$𝜆$-calcul simplement typé
TD8 : Paradoxe de Russel
Énoncé
DM: Quelques modèles de graphes du 𝜆-calcul
DM de $𝜆$-calcul
TD9 : Système F
Énoncé
TD11 : $HA_2$ et Ackermann
Énoncé