Couvre la sémantique des langages de programmation, en se concentrant sur le langage Add et le rôle des règles de réécriture et des machines CK dans la compréhension du sens.

Types dépendants dans les langages de programmation

Explore les cartes, les opérateurs de type, l'équivalence, les types de première classe, System Fw, Coq, et les défis de la vérification de type dans les langages de programmation.

Éviter la capture variable

Explore la capture de variables dans les fonctions d'ordre supérieur et l'importance du renommage des variables.

Codage de la récursivité comme auto-application

Explore le calcul lambda, les fonctions d'ordre supérieur et l'encodage récursif des fonctions.

Types dans Lambda Calculus

Couvre les types dans le calcul lambda, y compris la définition des types, la spécification des règles et la preuve de la solidité.

Fondements de Scala: Modélisation et Systèmes de Type

Couvre les fondements de Scala, y compris la modélisation des types récursifs, des types paramétrés et de la variance.

Programmation Python: Compréhensions de liste et fonctions d'ordre supérieur

Explore les concepts avancés de programmation Python, en se concentrant sur les compréhensions de liste et les fonctions d'ordre supérieur.