Title: Category Theory and Computer Science
Subjects: Computer programming, Categories (Mathematics), Congresses