Categories and Types in Logic, Language, and Physics - Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott; Coecke, Bob; Moortgat, Michael; Scott, Philip (Springer Berlin Heidelberg, 2014)