Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
Categories and Types in Logic, Language, and Physics
- Springer 2014
- Lecture Notes in Computer Science .
9783642547898
Mathematical Logic and Formal Languages; Computation by Abstract Devices; Logics and Meanings of Programs; History of Computing; Computer Science, general