Cette séance de cours introduit des définitions récursives imbriquées en utilisant des environnements, permettant la création de fonctions localement anonymes qui peuvent être appelées récursivement. Les cas et comportements clés des définitions récursives imbriquées sont explorés, ainsi que la nécessité de rendre les environnements récursifs et la levée des fonctions binaires pour travailler sur les valeurs.