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