nLab Ross Duncan

• homepage

• publications

• Head of Quantum Software at Quantinuum

Selected writings

On quantum logic as the linear logic internal language of symmetric monoidal categories:

• Samson Abramsky, Ross Duncan, A Categorical Quantum Logic, Mathematical Structures in Computer Science, Volume 16, Issue 3 (2006) pp. 469 - 489 (arXiv:quant-ph/0512114, doi:10.1017/S0960129506005275)

A quantum programming language based on linear type theory:

• Ross Duncan, Types for Quantum Computing, 2006 (pdf)

On quantum information theory via dagger-compact categories and introducing the ZX-calculus motivated form measurement-based quantum computation:

• Ross Duncan, Simon Perdrix, Rewriting Measurement-Based Quantum Computations with Generalised Flow, in: Automata, Languages and Programming. ICALP 2010, Lecture Notes in Computer Science 6199, Springer (2010) [doi:10.1007/978-3-642-14162-1_24]

• Bob Coecke, Ross Duncan, A graphical calculus for quantum observables [pdf]

• Bob Coecke, Ross Duncan, Interacting Quantum Observables, in Automata, Languages and Programming. ICALP 2008, Lecture Notes in Computer Science 5126, Springer (2008) [doi:10.1007/978-3-540-70583-3_25]

• Bob Coecke, Ross Duncan, Interacting Quantum Observables: Categorical Algebra and Diagrammatics, New J. Phys. 13 (2011) 043016 [arXiv:0906.4725, doi:10.1088/1367-2630/13/4/043016]

• Ross Duncan, A graphical approach to measurement-based quantum computing [arXiv:1203.6242 video exposition:YT]

category: people