Le lambda-calcul : réductions, causalité et déterminisme Gérard Berry Collège de France Chaire Informatique et sciences numériques Cours 2, 2 décembre.
