Bob Coecke

Latest

• Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning
• Interacting Quantum Observables: Categorical Algebra and Diagrammatics
• Categorical Quantum Mechanics
• A Categorical Semantics of Quantum Protocols