Séances de cours associées à Fixed-point combinator

Définitions récursives imbriquées

Explore les définitions récursives imbriquées en utilisant des environnements et la levée de fonctions binaires pour travailler sur des valeurs.

Récursivité : comprendre les fonctions récursives

Explore la récursion, les points de fixation et les procédures en profondeur, en mettant l'accent sur la compréhension des fonctions récursives.

Lambda Calculus: Sémantique opérationnelle et stratégies d'évaluation

Couvre la sémantique opérationnelle et les stratégies d'évaluation dans le calcul lambda, y compris redex, les stratégies d'évaluation alternatives et les booléens de l'Église.