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