Stabilité du cadreExplore la stabilité du cadre, les types de supports, la résolution de charge et le comportement du cadre.
Types dans Lambda CalculusCouvre 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é.
