| A survey of graphical languages for monoidal categories P Selinger New Structures for Physics, 289-355, 2011 | 897 | 2011 |
| Towards a quantum programming language P Selinger Mathematical Structures in Computer Science 14 (4), 527-586, 2004 | 583 | 2004 |
| Quipper: a scalable quantum programming language AS Green, PLF Lumsdaine, NJ Ross, P Selinger, B Valiron Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 530 | 2013 |
| Dagger compact closed categories and completely positive maps P Selinger Electronic Notes in Theoretical computer science 170, 139-163, 2007 | 496 | 2007 |
| Control categories and duality: on the categorical semantics of the lambda-mu calculus P Selinger Mathematical structures in computer science 11 (2), 207-260, 2001 | 241 | 2001 |
| Quantum circuits of T-depth one P Selinger Physical Review A 87 (4), 042302, 2013 | 227 | 2013 |
| A lambda calculus for quantum computation with classical control P Selinger, B Valiron Mathematical Structures in Computer Science 16 (3), 527-552, 2006 | 204 | 2006 |
| Optimal ancilla-free Clifford+ V approximation of z-rotations NJ Ross arXiv preprint arXiv:1409.4355, 2014 | 194 | 2014 |
| Exact synthesis of multi-qubit Clifford+T circuits B Giles, P Selinger arXiv preprint arXiv:1212.0506, 2012 | 192 | 2012 |
| Efficient Clifford+T approximation of single-qubit operators P Selinger arXiv preprint arXiv:1212.6253, 2012 | 172 | 2012 |
| Potrace: a polygon-based tracing algorithm P Selinger Potrace (online), http://potrace.sourceforge.net/potrace.pdf (2009-07-01), 2003 | 158 | 2003 |
| A brief survey of quantum programming languages P Selinger Functional and Logic Programming, 61-69, 2004 | 129 | 2004 |
| Optimal ancilla-free Clifford+ T approximation of z-rotations NJ Ross, P Selinger arXiv preprint arXiv:1403.2975, 2014 | 124 | 2014 |
| Applying quantitative semantics to higher-order quantum computing M Pagani, P Selinger, B Valiron Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014 | 111 | 2014 |
| Towards a semantics for higher-order quantum computation P Selinger Proceedings of the 2nd International Workshop on Quantum Programming …, 2004 | 101 | 2004 |
| An introduction to quantum programming in Quipper AS Green, PLF Lumsdaine, NJ Ross, P Selinger, B Valiron International Conference on Reversible Computation, 110-124, 2013 | 100 | 2013 |
| Quantum lambda calculus P Selinger, B Valiron Semantic Techniques in Quantum Computation, 135-172, 2009 | 100 | 2009 |
| A lambda calculus for quantum computation with classical control P Selinger, B Valiron International Conference on Typed Lambda Calculi and Applications, 354-368, 2005 | 85 | 2005 |
| Finite dimensional Hilbert spaces are complete for dagger compact closed categories P Selinger Logical Methods in Computer Science 8, 2012 | 80 | 2012 |
| Idempotents in dagger categories P Selinger Electronic Notes in Theoretical Computer Science 210, 107-122, 2008 | 77 | 2008 |
Neil J. RossDalhousie University在 dal.ca 的电子邮件经过验证
