Ce manuel explique les principes de base de la théorie des types catégoriels et les techniques utilisées pour dériver la sémantique catégorielle pour des théories de type spécifiques. Il présente au lecteur les réseaux et les domaines de la théorie des ensembles ordonnés et ce matériel fournit de nombreux exemples pour une introduction à la théorie des catégories. qui couvre les catégories foncteurs transformations naturelles le lemme de Yoneda cartésien catégories fermées limites adjonctions et catégories indexées. Quatre types de systèmes formels sont examinés en détail, à savoir la théorie des types fonctionnels polymorphes fonctionnels fonctionnels algébriques et les types fonctionnels polymorphes d’ordre supérieur. Pour chacun d’eux, la sémantique catégorielle est dérivée et les résultats sur les systèmes de types sont prouvés catégoriquement. Les questions de solidité et d’exhaustivité sont également prises en compte. Destiné aux étudiants de premier cycle avancés et aux diplômés débutants, ce livre intéressera les logiciens et les mathématiciens informaticiens théoriques spécialisés dans la théorie des catégories. Langue: Anglais