Séance de cours
Cette séance de cours couvre la sémantique opérationnelle et les stratégies d'évaluation dans le calcul lambda. Il explique les règles de calcul, redex, les stratégies d'évaluation alternatives, le calcul lambda classique, la réduction bêta complète, la substitution, la conversion alpha, les arguments multiples, la programmation en calcul lambda, la confluence, les booléens de l'Église et les fonctions sur les booléens.