Séance de cours
Codage de la récursivité comme auto-application
Description
Cette séance de cours présente le calcul lambda comme un langage minimal pour exprimer la récursion, démontrant comment la récursion peut être codée en utilisant des fonctions d'ordre supérieur. Il explore le concept de fonctions de première classe subsumant la récursion et vers une forme générale de codage de fonction récursive.
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.