Couvre les treillis, l'interprétation abstraite, l'analyse des points de fixation, la logique de Hoare et les ordres partiels avec des éléments extrêmes.
Explore la théorie des réseaux, leurs propriétés et leurs applications dans différents contextes mathématiques, en mettant l'accent sur les principes locaux-globaux.
