Cours λ-calcul, L3 Info, 2011

Apnée 2: télécharger. Cette apnée est à rendre par email à votre encadrant de TD avant mercredi 13 avril au soir, ou lors du TD de jeudi 14 avril.


Introduction to Lambda Calculus

Quelques cours de Gérard Berry au Collège de France sur le sujet:
- Calculabilité: machines, langages et fonctions (2ème heure)
- Le lambda-calcul : réductions, causalité et déterminisme

Un article de 1998 sur la conjecture de Syracuse.