Title: Category theory and computer science
Subjects: Computer programming, Categories (Mathematics), Congresses, The orie cate gorie, Langage programmation, Ge nie logiciel, Calcul propositionnel, Logique mathe matique, Cate gorie, The orie type, Construction langage