Lambda Calculus: Syntaxe et Abstractions

Cette séance de cours couvre la syntaxe et la sémantique du calcul lambda, un modèle fondamental du calcul. Il introduit des termes, des abstractions, des applications et des valeurs dans le calcul lambda pur, soulignant la puissance des fonctions en tant que blocs de construction du calcul. La séance de cours explore les règles de cadrage des abstractions lambda, le style curried pour les fonctions multi-arguments et la sémantique opérationnelle pour l'application des fonctions. Il discute également de la signification du calcul lambda en tant que fondement des langages de programmation fonctionnels tels que ML, Haskell et Scheme.