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 |