Title: Categories and types in logic, language, and physics
Subjects: Mathematics, Symbolic and mathematical Logic, Computer science, Programming languages (electronic computers), Computer software, development, Logic design, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Logics and Meanings of Programs, History of Computing, Computer Science, general