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

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

Dagger compact closed categories and completely positive maps P Selinger Electronic Notes in Theoretical computer science 170, 139-163, 2007 | 373 | 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 | 233 | 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 | 219 | 2001 |

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

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

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

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

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

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

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

Towards a semantics for higher-order quantum computation P Selinger Proceedings of the 2nd International Workshop on Quantum Programming …, 2004 | 77 | 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 | 63 | 2014 |

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

Finite dimensional Hilbert spaces are complete for dagger compact closed categories P Selinger arXiv preprint arXiv:1207.6972, 2012 | 62 | 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 | 57 | 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 | 57 | 2005 |

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

On a fully abstract model for a quantum linear functional language P Selinger, B Valiron Electronic Notes in Theoretical Computer Science 210, 123-137, 2008 | 47 | 2008 |