Author of the publication

Pictures of processes : automated graph rewriting for monoidal categories and applications to quantum computing.

. University of Oxford, UK, (2011)British Library, EThOS.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Kissinger, Aleks
add a person with the name Kissinger, Aleks
 

Other publications of authors with the same name

Categories of quantum and classical channels., , and . Quantum Information Processing, 15 (12): 5179-5209 (2016)Can quantum theory be characterized in information-theoretic terms?, and . CoRR, (2016)Picturing Quantum Processes - A First Course on Quantum Theory and Diagrammatic Reasoning., and . Diagrams, volume 10871 of Lecture Notes in Computer Science, page 28-31. Springer, (2018)Causal Inference by String Diagram Surgery., , and . FoSSaCS, volume 11425 of Lecture Notes in Computer Science, page 313-329. Springer, (2019)Open-graphs and monoidal theories., and . Mathematical Structures in Computer Science, 23 (2): 308-359 (2013)Globular: An Online Proof Assistant for Higher-Dimensional Rewriting., , and . FSCD, volume 52 of LIPIcs, page 34:1-34:11. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2016)Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus., , , and . CoRR, (2019)Open Graphs and Monoidal Theories, and . CoRR, (2010)Synthesising Graphical Theories. CoRR, (2012)A Graphical Language for Proof Strategies., , and . LPAR, volume 8312 of Lecture Notes in Computer Science, page 324-339. Springer, (2013)