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