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.
Explore la différenciation sous le signe intégral et les conditions de différenciation, avec des exemples et des extensions aux fonctions à intervalles ouverts.
S'intéresse à la vérification de type, à la reconstruction, aux équations, à l'unification, au système Hindley/Milner, au polymorphisme et aux principaux types.
Introduit des variables, des objets et des types dans Python, soulignant la signification de la mutabilité des objets et ses implications lors du passage des objets à des fonctions.
