| Generators and Relations for the Group O n (Z[1/2]). | 0 | 0.34 | 2021 |
| Generators and Relations for Real Stabilizer Operators. | 0 | 0.34 | 2021 |
| Generators and relations for U n (Z[½, i]). | 0 | 0.34 | 2021 |
| Challenges in Quantum Programming Languages (Invited Talk). | 0 | 0.34 | 2018 |
| Dependently Typed Folds for Nested Data Types. | 0 | 0.34 | 2018 |
| Quantum Programming Languages (Dagstuhl Seminar 18381). | 0 | 0.34 | 2018 |
| A categorical model for a quantum circuit description language. | 2 | 0.38 | 2017 |
| Reversible k-valued logic circuits are finitely generated for odd k. | 0 | 0.34 | 2016 |
| A Finite Alternation Result For Reversible Boolean Circuits | 2 | 0.43 | 2016 |
| Efficient Clifford+T approximation of single-qubit operators | 16 | 1.10 | 2015 |
| Programming the quantum future | 3 | 0.40 | 2015 |
| Quipper: Concrete Resource Estimation in Quantum Algorithms. | 1 | 0.40 | 2014 |
| Applying quantitative semantics to higher-order quantum computing | 21 | 0.89 | 2014 |
| Presheaf Models of Quantum Computation: An Outline. | 8 | 0.51 | 2013 |
| Remarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators. | 4 | 0.78 | 2013 |
| An introduction to quantum programming in quipper | 15 | 1.01 | 2013 |
| Quipper: a scalable quantum programming language | 80 | 4.06 | 2013 |
| Generators and relations for n-qubit Clifford operators. | 1 | 0.37 | 2013 |
| Quantum circuits of T-depth one | 9 | 0.69 | 2012 |
| Logical Methods in Quantum Information Theory. | 0 | 0.34 | 2012 |
| Finite dimensional Hilbert spaces are complete for dagger compact closed categories | 0 | 0.34 | 2012 |
| Exact synthesis of multiqubit Clifford plus T circuits | 3 | 0.46 | 2012 |
| Finite dimensional Hilbert spaces are complete for dagger compact closed categories. | 3 | 0.54 | 2012 |
| Idempotents in Dagger Categories: (Extended Abstract) | 5 | 0.84 | 2008 |
| A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract) | 4 | 0.44 | 2008 |
| On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract) | 6 | 0.51 | 2008 |
| Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) | 28 | 3.26 | 2007 |
| A Brief Survey of Quantum Programming Languages | 19 | 0.94 | 2004 |
| Towards a quantum programming language | 157 | 12.12 | 2004 |
| Order-incompleteness and finite Lambda reduction models | 19 | 1.05 | 2003 |
| The lambda calculus is algebraic | 7 | 0.55 | 2002 |
| First-Order Axioms for Asynchrony | 19 | 1.49 | 1997 |
| Order-Incompleteness and Finite Lambda Models, Extended Abstract | 2 | 0.40 | 1996 |
