TY  - BOOK
AU  - Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
TI  - Categories and Types in Logic, Language, and Physics
SN  - 9783642547898
PY  - 2014///
PB  - Springer
KW  - Mathematical Logic and Formal Languages; Computation by Abstract Devices; Logics and Meanings of Programs; History of Computing; Computer Science, general
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-642-54788-1
ER  -