Peter Selinger

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Paintbucket on graphs is PSPACE-complete	2024	Ethan J. Saunders Peter Selinger
+ PDF Chat	Proto-Quipper with Reversing and Control	2024	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger
+ PDF Chat	Generators and Relations for 2-Qubit Clifford+T Operators	2023	Xiaoning Bian Peter Selinger
+ PDF Chat	A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting	2023	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger
+ PDF Chat	Generators and Relations for 3-Qubit Clifford+CS Operators	2023	Xiaoning Bian Peter Selinger
+ PDF Chat	Proto-Quipper with Dynamic Lifting	2023	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger
+	Generators and Relations for 3-Qubit Clifford+CS Operators	2023	Xiaoning Bian Peter Selinger
+	Towards an induction principle for nested data types	2023	Peng Fu Peter Selinger
+	Some improvements to product formula circuits for Hamiltonian simulation	2023	Andre Kornell Peter Selinger
+ PDF Chat	Linear Dependent Type Theory for Quantum Programming Languages	2022	Peng Fu Kohei Kishida Peter Selinger
+	There are infinitely many monotone games over $L_5$	2022	Eric Demer Peter Selinger
+	A Biset-Enriched Categorical Model for Proto-Quipper with Dynamic Lifting	2022	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger
+	Proto-Quipper with dynamic lifting	2022	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger
+	Generators and Relations for 2-Qubit Clifford+T Operators	2022	Xiaoning Bian Peter Selinger
+	On the Lambek embedding and the category of product-preserving presheaves	2022	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger
+ PDF Chat	Generators and Relations for the Group On(Z[1/2])	2021	Sarah Meng Li Neil J. Ross Peter Selinger
+ PDF Chat	Generators and Relations for Un(Z[1/2,i])	2021	Xiaoning Bian Peter Selinger
+ PDF Chat	Generators and Relations for Real Stabilizer Operators	2021	Justin Makary Neil J. Ross Peter Selinger
+	Generators and relations for $U_n(\mathbb Z [\frac{1}{2}, i])$	2021	Xiaoning Bian Peter Selinger
+	On the combinatorial value of Hex positions	2021	Peter Selinger
+	Generators and relations for U n (Z[½, i]).	2021	Xiaoning Bian Peter Selinger
+	All passable games are realizable as monotone set coloring games	2021	Eric Demer Peter Selinger Kyle Wang
+	On the combinatorial value of Hex positions	2021	Peter Selinger
+	Linear Dependent Type Theory for Quantum Programming Languages	2020	Peng Fu Kohei Kishida Peter Selinger
+	A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper	2020	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger
+ PDF Chat	A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper	2020	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger
+	Linear Dependent Type Theory for Quantum Programming Languages	2020	Peng Fu Kohei Kishida Peter Selinger
+	Proceedings of the 15th International Conference on Quantum Physics and Logic	2019	Peter Selinger Giulio Chiribella
+	Proceedings of the 15th International Conference on Quantum Physics and Logic	2019	Giulio Chiribella Peter Selinger
+ PDF Chat	A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)	2018	Francisco Franklin Sousa Rios Peter Selinger
+	Dependently Typed Folds for Nested Data Types	2018	Peng Fu Peter Selinger
+	On the mathematics of the free-choice paradigm	2018	Peter Selinger Kristopher Tapp
+ PDF Chat	A finite alternation result for reversible boolean circuits	2017	Peter Selinger
+	A categorical model for a quantum circuit description language	2017	Francisco Franklin Sousa Rios Peter Selinger
+ PDF Chat	Optimal ancilla-free Clifford+T approximation of z-rotations	2016	Neil J. Ross Peter Selinger
+	Reversible k-valued logic circuits are finitely generated for odd k	2016	Peter Selinger
+ PDF Chat	A Finite Alternation Result for Reversible Boolean Circuits	2016	Peter Selinger
+	Proceedings 12th International Workshop on Quantum Physics and Logic	2015	Chris Heunen Peter Selinger Jamie Vicary
+ PDF Chat	Proceedings 12th International Workshop on Quantum Physics and Logic	2015	Chris Heunen Peter Selinger Jamie Vicary
+	Proceedings of the 12th International Workshop on Quantum Physics and Logic	2015	Chris Heunen Peter Selinger Jamie Vicary
+ PDF Chat	Generators and relations for n-qubit Clifford operators	2015	Peter Selinger
+ PDF Chat	Efficient Clifford+T approximation of single-qubit operators	2015	Peter Selinger
+ PDF Chat	Completely positive projections and biproducts	2014	Chris Heunen Aleks Kissinger Peter Selinger
+	Applying quantitative semantics to higher-order quantum computing	2014	Michele Pagani Peter Selinger Benoît Valiron
+ PDF Chat	Applying quantitative semantics to higher-order quantum computing	2014	Michele Pagani Peter Selinger Benoît Valiron
+	Completely positive projections and biproducts	2014	Chris Heunen Aleks Kissinger Peter Selinger
+	Quipper: Concrete Resource Estimation in Quantum Algorithms	2014	Jonathan M. Smith Neil J. Ross Peter Selinger Benoît Valiron
+	Optimal ancilla-free Clifford+T approximation of z-rotations	2014	Neil J. Ross Peter Selinger
+ PDF Chat	Quipper	2013	Alexander S. Green Peter LeFanu Lumsdaine Neil J. Ross Peter Selinger Benoît Valiron
+ PDF Chat	Quantum circuits of<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mi>T</mml:mi></mml:math>-depth one	2013	Peter Selinger
+ PDF Chat	Exact synthesis of multiqubit Clifford+<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mi>T</mml:mi></mml:math>circuits	2013	Brett Giles Peter Selinger
+ PDF Chat	An Introduction to Quantum Programming in Quipper	2013	Alexander S. Green Peter LeFanu Lumsdaine Neil J. Ross Peter Selinger Benoît Valiron
+	Remarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators	2013	Brett Giles Peter Selinger
+ PDF Chat	Presheaf Models of Quantum Computation: An Outline	2013	Octavio Malherbe Philip Scott Peter Selinger
+	Applying quantitative semantics to higher-order quantum computing	2013	Michele Pagani Peter Selinger Benoît Valiron
+	Efficient Clifford+T approximation of single-qubit operators	2012	Peter Selinger
+	Exact synthesis of multi-qubit Clifford+T circuits	2012	Brett Giles Peter Selinger
+	Proceedings 8th International Workshop on Quantum Physics and Logic	2012	Bart Jacobs Peter Selinger Bas Spitters
+	Proceedings 8th International Workshop on Quantum Physics and Logic	2012	Bart Jacobs Peter Selinger Bas Spitters
+ PDF Chat	Finite dimensional Hilbert spaces are complete for dagger compact closed categories	2012	Peter Selinger
+	Partially traced categories	2012	Octavio Malherbe Philip Scott Peter Selinger
+	Efficient Clifford+T approximation of single-qubit operators	2012	Peter Selinger
+	Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract)	2011	Peter Selinger
+	A Note on Bainbridge’s Power Set Construction	2011	Peter Selinger
+ PDF Chat	A Survey of Graphical Languages for Monoidal Categories	2010	Peter Selinger
+	A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract)	2008	Peter Selinger Benoît Valiron
+	A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)	2008	Peter Selinger Benoît Valiron
+	Lecture notes on the lambda calculus	2008	Peter Selinger
+ PDF Chat	Simplicial cycles and the computation of simplicial trees	2006	Massimo Caboara Sara Faridi Peter Selinger
+ PDF Chat	A lambda calculus for quantum computation with classical control	2006	Peter Selinger Benoît Valiron
+	Tree Checking for Sparse Complexes	2006	Massimo Caboara Sara Faridi Peter Selinger
+	Simplicial cycles and the computation of simplicial trees	2006	Massimo Caboara Sara Faridi Peter Selinger
+ PDF Chat	A Lambda Calculus for Quantum Computation with Classical Control	2005	Peter Selinger Benoît Valiron
+	Towards a semantics for higher-order quantum computation	2004	Peter Selinger
+ PDF Chat	Control categories and duality: on the categorical semantics of the lambda-mu calculus	2001	Peter Selinger

Common Coauthors

Coauthor	Papers Together
Neil J. Ross	15
Kohei Kishida	11
Benoît Valiron	10
Peng Fu	8
Xiaoning Bian	7
Chris Heunen	5
Jamie Vicary	3
Sara Faridi	3
Massimo Caboara	3
Peng Fu	3
Michele Pagani	3
Brett Giles	3
Francisco Franklin Sousa Rios	2
Octavio Malherbe	2
Giulio Chiribella	2
Alexander S. Green	2
Peter LeFanu Lumsdaine	2
Aleks Kissinger	2
Eric Demer	2
Bart Jacobs	2
Bas Spitters	2
Philip Scott	2
Kyle Wang	1
Justin Makary	1
Ethan J. Saunders	1
Kristopher Tapp	1
Peng Fu	1
Andre Kornell	1
Jonathan M. Smith	1
Peng Fu	1
Sarah Meng Li	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	A lambda calculus for quantum computation with classical control	2006	Peter Selinger Benoît Valiron	9
+ PDF Chat	A categorical semantics of quantum protocols	2004	Samson Abramsky Bob Coecke	7
+ PDF Chat	Exact synthesis of multiqubit Clifford+<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mi>T</mml:mi></mml:math>circuits	2013	Brett Giles Peter Selinger	7
+ PDF Chat	A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits	2013	Matthew Amy Dmitri Maslov Michele Mosca Martin Roetteler	6
+	Algebraic and Logical Methods in Quantum Computation	2015	Neil J. Ross	6
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane	6
+	Traced monoidal categories	1996	André Joyal Ross Street Dominic Verity	5
+ PDF Chat	A Lambda Calculus for Quantum Computation	2004	André van Tonder	5
+ PDF Chat	A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)	2018	Francisco Franklin Sousa Rios Peter Selinger	5
+	Exponential algorithmic speedup by a quantum walk	2003	Andrew M. Childs Richard Cleve E. Deotto Edward Farhi Sam Gutmann Daniel A. Spielman	5
+	Conventions for quantum pseudocode	1996	E. Knill	5
+ PDF Chat	An Introduction to Quantum Programming in Quipper	2013	Alexander S. Green Peter LeFanu Lumsdaine Neil J. Ross Peter Selinger Benoît Valiron	5
+ PDF Chat	Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits	2020	Matthew Amy Andrew N. Glaudell Neil J. Ross	5
+	Handbook of Categorical Algebra	1994	Francis Borceux	4
+ PDF Chat	Techniques to Reduce π/4-Parity-Phase Circuits, Motivated by the ZX Calculus	2020	Niel de Beaudrap Xiaoning Bian Quanlong Wang	4
+ PDF Chat	A Survey of Graphical Languages for Monoidal Categories	2010	Peter Selinger	4
+ PDF Chat	Automated optimization of large quantum circuits with continuous parameters	2018	Yunseong Nam Neil J. Ross Yuan Su Andrew M. Childs Dmitri Maslov	4
+ PDF Chat	Quipper	2013	Alexander S. Green Peter LeFanu Lumsdaine Neil J. Ross Peter Selinger Benoît Valiron	4
+ PDF Chat	Asymptotically Optimal Topological Quantum Compiling	2014	Vadym Kliuchnikov Alex Bocharov Krysta M. Svore	4
+ PDF Chat	New Limits on Fault-Tolerant Quantum Computation	2006	Harry Buhrman Richard Cleve Monique Laurent Noah Linden Alexander Schrijver Falk Unger	4
+	Fast and efficient exact synthesis of single qubit unitaries generated by Clifford and T gates	2012	Vadym Kliuchnikov Dmitri Maslov Michele Mosca	4
+ PDF Chat	T-Count Optimization and Reed–Muller Codes	2019	Matthew Amy Michele Mosca	4
+ PDF Chat	Asymptotically Optimal Approximation of Single Qubit Unitaries by Clifford and<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mi>T</mml:mi></mml:math>Circuits Using a Constant Number of Ancillary Qubits	2013	Vadym Kliuchnikov Dmitri Maslov Michele Mosca	4
+	On the Ideal Theory of Graphs	1994	Aron Simis W.V Vasconcelos Rafael H. Villarreal	3
+ PDF Chat	Fast and efficient exact synthesis of single-qubit unitaries generated by Clifford and T gates	2013	Vadym Kliuchnikov Dmitri Maslov Michele Mosca	3
+	On closed categories of functors	1970	Brian Day	3
+	Cohen-macaulay graphs	1990	Rafael H. Villarreal	3
+	Cohen–Macaulay properties of square-free monomial ideals	2004	Sara Faridi	3
+ PDF Chat	Floating point representations in quantum circuit synthesis	2013	Nathan Wiebe Vadym Kliuchnikov	3
+ PDF Chat	Simulation of electronic structure Hamiltonians using quantum computers	2011	James Whitfield Jacob Biamonte Alán Aspuru‐Guzik	3
+ PDF Chat	Practical Approximation of Single-Qubit Unitaries by Single-Qubit Quantum Clifford and T Circuits	2015	Vadym Kliuchnikov Dmitri Maslov Michele Mosca	3
+	Randomized algorithms in number theory	1986	Michael O. Rabin Jeffery O. Shallit	3
+	Representation of Quantum Circuits with Clifford and $\pi/8$ Gates	2008	Ken Matsumoto Kazuyuki Amano	3
+ PDF Chat	Simplicial trees are sequentially Cohen–Macaulay	2004	Sara Faridi	3
+	Categorical models of computation: partially traced categories and presheaf models of quantum computation	2010	Octavio Malherbe	3
+ PDF Chat	Linear Dependent Type Theory for Quantum Programming Languages	2022	Peng Fu Kohei Kishida Peter Selinger	3
+	Linear Dependent Type Theory for Quantum Programming Languages	2020	Peng Fu Kohei Kishida Peter Selinger	3
+ PDF Chat	Reducing the number of non-Clifford gates in quantum circuits	2020	Aleks Kissinger John van de Wetering	3
+	Remarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators	2013	Brett Giles Peter Selinger	3
+ PDF Chat	Quantum Algorithm for Linear Systems of Equations	2009	Aram W. Harrow Avinatan Hassidim Seth Lloyd	3
+ PDF Chat	Distillation of nonstabilizer states for universal quantum computation	2013	Guillaume Duclos-Cianci Krysta M. Svore	3
+	Homological properties of monomial ideals associated to quasi-trees and lattices	2004	Xinxian Zheng	3
+ PDF Chat	A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper	2020	Peng Fu Kohei Kishida Neil J. Ross Peter Selinger	3
+	The Heisenberg Representation of Quantum Computers	1998	Daniel Gottesman	2
+	A Classical Introduction to Modern Number Theory	1982	Kenneth Ireland Michael Rosen	2
+ PDF Chat	Toward an architecture for quantum programming	2003	S. Bettelli Tommaso Calarco L. Serafini	2
+ PDF Chat	Semantics of Higher-Order Quantum Computation via Geometry of Interaction	2011	Ichiro Hasuo Naohiko Hoshino	2
+ PDF Chat	Finite products are biproducts in a compact closed category	2007	Robin Houston	2
+	Confluence Results for a Quantum Lambda Calculus with Measurements	2011	Ugo Dal Lago Andrea Masini Margherita Zorzi	2
+	A formal proof of the four color theorem	2009	Limin Xiang	2