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

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

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

Quipper: a scalable quantum programming language AS Green, PLF Lumsdaine, NJ Ross, P Selinger, B Valiron ACM SIGPLAN Notices 48 (6), 333-342, 2013 | 225 | 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 | 216 | 2001 |

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

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

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

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

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

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

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

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

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

Applying quantitative semantics to higher-order quantum computing M Pagani, P Selinger, B Valiron ACM SIGPLAN Notices 49 (1), 647-658, 2014 | 60 | 2014 |

Finite dimensional Hilbert spaces are complete for dagger compact closed categories P Selinger arXiv preprint arXiv:1207.6972, 2012 | 59 | 2012 |

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

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

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

First-order axioms for asynchrony P Selinger International Conference on Concurrency Theory, 376-390, 1997 | 47 | 1997 |