Séance de cours
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.