Séance de cours
Lambda Calculus: Syntaxe et Abstractions
Description
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.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.