Title: Category theory and computer science
Subjects: Théorie catégorie, Catégorie, Théorie type, Langage programmation, Calcul propositionnel, Génie logiciel, Logique mathématique, Construction langage, Computer programming, Categories (mathematics)