Peter Selinger

Identifiers

• name variant Peter Selinger 0.60 · backfill

Papers (21)

1. A construction of the hat tilings by a Markov partition math.CO · 2026 · author #2
2. On the mathematics of the free-choice paradigm stat.OT · 2018 · author #1
3. Dependently Typed Folds for Nested Data Types cs.LO · 2018 · author #2
4. A finite alternation result for reversible boolean circuits cs.ET · 2016 · author #1
5. Reversible k-valued logic circuits are finitely generated for odd k cs.ET · 2016 · author #1
6. Quipper: Concrete Resource Estimation in Quantum Algorithms cs.PL · 2014 · author #3
7. Optimal ancilla-free Clifford+T approximation of z-rotations quant-ph · 2014 · author #2
8. Remarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators quant-ph · 2013 · author #2
9. Applying quantitative semantics to higher-order quantum computing cs.LO · 2013 · author #2
10. An Introduction to Quantum Programming in Quipper cs.PL · 2013 · author #4
11. Quipper: A Scalable Quantum Programming Language cs.PL · 2013 · author #4
12. Presheaf models of quantum computation: an outline math.CT · 2013 · author #3
13. Efficient Clifford+T approximation of single-qubit operators quant-ph · 2012 · author #1
14. Exact synthesis of multiqubit Clifford+T circuits quant-ph · 2012 · author #2
15. Quantum circuits of T-depth one quant-ph · 2012 · author #1
16. Proceedings 8th International Workshop on Quantum Physics and Logic quant-ph · 2012 · author #2
17. Partially traced categories math.CT · 2011 · author #3
18. A survey of graphical languages for monoidal categories math.CT · 2009 · author #1
19. Lecture notes on the lambda calculus cs.LO · 2008 · author #1
20. Simplicial cycles and the computation of simplicial trees math.AC · 2006 · author #3
21. A lambda calculus for quantum computation with classical control cs.LO · 2004 · author #1

Mentions

• 1312.6584 #2 · backfill · confidence 0.70 Peter Selinger
• 1311.2290 #2 · backfill · confidence 0.70 Peter Selinger
• 1304.5485 #4 · backfill · confidence 0.70 Peter Selinger
• 1304.3390 #4 · backfill · confidence 0.70 Peter Selinger
• 1302.5652 #3 · backfill · confidence 0.70 Peter Selinger
• 1212.6253 #1 · backfill · confidence 0.70 Peter Selinger
• 1212.0506 #2 · backfill · confidence 0.70 Peter Selinger
• 1210.0974 #1 · backfill · confidence 0.70 Peter Selinger
• 1210.0298 #2 · backfill · confidence 0.70 Peter Selinger
• 1107.3608 #3 · backfill · confidence 0.70 Peter Selinger
• 0908.3347 #1 · backfill · confidence 0.70 Peter Selinger
• 0804.3434 #1 · backfill · confidence 0.70 Peter Selinger

Frequent Coauthors

• Beno\^it Valiron 4 shared papers
• Neil J. Ross 4 shared papers
• Alexander S. Green 2 shared papers
• Brett Giles 2 shared papers
• Octavio Malherbe 2 shared papers
• Peter LeFanu Lumsdaine 2 shared papers
• Bart Jacobs 1 shared papers
• Bas Spitters 1 shared papers
• Benoit Valiron 1 shared papers
• Jonathan M. Smith 1 shared papers
• Kristopher Tapp 1 shared papers
• Massimo Caboara 1 shared papers
• Michele Pagani 1 shared papers
• Peng Fu 1 shared papers
• Philip J. Scott 1 shared papers
• Philip Scott 1 shared papers
• Sara Faridi 1 shared papers
• S\'ebastien Labb\'e 1 shared papers