Current research in operational quantum logic : algebras, categories, languages - Coecke, Bob, 1968-; Moore, David J. 1936-; Wilce, Alexander (Fundamental theories of physics ;, 2000)