A survey of graphical languages for monoidal categories P Selinger New Structures for Physics, 289-355, 2011 | 746 | 2011 |

Towards a quantum programming language P Selinger Mathematical Structures in Computer Science 14 (4), 527-586, 2004 | 505 | 2004 |

Dagger compact closed categories and completely positive maps P Selinger Electronic Notes in Theoretical computer science 170, 139-163, 2007 | 443 | 2007 |

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 | 393 | 2013 |

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 | 231 | 2001 |

A lambda calculus for quantum computation with classical control P Selinger, B Valiron Mathematical Structures in Computer Science 16 (3), 527-552, 2006 | 191 | 2006 |

Quantum circuits of T-depth one P Selinger Physical Review A 87 (4), 042302, 2013 | 166 | 2013 |

Exact synthesis of multi-qubit Clifford+T circuits B Giles, P Selinger arXiv preprint arXiv:1212.0506, 2012 | 136 | 2012 |

Efficient Clifford+T approximation of single-qubit operators P Selinger arXiv preprint arXiv:1212.6253, 2012 | 131 | 2012 |

Potrace: a polygon-based tracing algorithm P Selinger Potrace (online), http://potrace.sourceforge.net/potrace.pdf (2009-07-01), 2003 | 123 | 2003 |

Optimal ancilla-free Clifford+ T approximation of z-rotations. NJ Ross, P Selinger Quantum Inf. Comput. 16 (11&12), 901-953, 2016 | 117 | 2016 |

Optimal ancilla-free Clifford+ T approximation of z-rotations NJ Ross, P Selinger arXiv preprint arXiv:1403.2975, 2014 | 116 | 2014 |

A brief survey of quantum programming languages P Selinger Functional and Logic Programming, 61-69, 2004 | 115 | 2004 |

Towards a semantics for higher-order quantum computation P Selinger Proceedings of the 2nd International Workshop on Quantum Programming …, 2004 | 90 | 2004 |

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 | 89 | 2014 |

Quantum lambda calculus P Selinger, B Valiron Semantic Techniques in Quantum Computation, 135-172, 2009 | 78 | 2009 |

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 | 77 | 2013 |

Finite dimensional Hilbert spaces are complete for dagger compact closed categories P Selinger Logical Methods in Computer Science 8, 2012 | 71 | 2012 |

Idempotents in dagger categories P Selinger Electronic Notes in Theoretical Computer Science 210, 107-122, 2008 | 67 | 2008 |

A lambda calculus for quantum computation with classical control P Selinger, B Valiron International Conference on Typed Lambda Calculi and Applications, 354-368, 2005 | 65 | 2005 |