Talks and Papers
Some of my recent talks:
- Diagrammatic Reasoning and Quantum Computation. Applications of Computer Algebra (ACA), Kalamata, Greece. 2015 [slides]
- New reasoning techniques for monoidal algebra. Theory Group seminar, Queen Mary. 2014 [slides]
- Interactive Proof for Diagrammatic Languages. A Conference in Honour of Samson Abramsky, on the event of his 60th Birthday (SamsonFest). Oxford, UK. 2013 [slides]
- Pictures of non-locality in quantum mechanics. LICS 2012 [slides]
All of my papers are available on: arXiv.
Updated 4 Nov, 2015.