Categories and Types in Logic, Language, and Physics
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
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