Title: Categories in computer science and logic
Subjects: Categories (Mathematics), Computer science, Congresses, Mathematics, Logic, symbolic and mathematical, Logic, symbolic and mathematical, programmed instruction