Title: Category theory and programming language semantics
Subjects: Programming languages (Electronic computers), Semantics, Categories (Mathematics)