Title: Category theory and computer science
Subjects: Mathematics, Categories (Mathematics), Congresses, Computer science