Peter Selinger

85 papers A* 4B 6C 5Misc 1Journal 37Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	On traces in categories of contractions. Math. Struct. Comput. Sci. Aaron David Fairbanks, Peter Selinger
2025	—	`conf`	On Traces in Categories of Contractions. QPL Aaron David Fairbanks, Peter Selinger
2025	—	`conf`	Proto-Quipper with Reversing and Control. QPL Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2024	J	`jnl`	Paintbucket on graphs is PSPACE-complete. CoRR Ethan J. Saunders, Peter Selinger
2023	—	`conf`	Generators and Relations for 3-Qubit Clifford+CS Operators. QPL Xiaoning Bian, Peter Selinger
2023	J	`jnl`	Proto-Quipper with Dynamic Lifting. Proc. ACM Program. Lang. Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2023	J	`jnl`	Some improvements to product formula circuits for Hamiltonian simulation. CoRR Andre Kornell, Peter Selinger
2023	C	`conf`	Towards an Induction Principle for Nested Data Types. WoLLIC Peng Fu, Peter Selinger
2023	J	`jnl`	Towards an induction principle for nested data types. CoRR Peng Fu, Peter Selinger
2022	—	`conf`	A biset-enriched categorical model for Proto-Quipper with dynamic lifting. QPL Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2022	—	`conf`	Generators and Relations for 2-Qubit Clifford+T Operators. QPL Xiaoning Bian, Peter Selinger
2022	J	`jnl`	Linear Dependent Type Theory for Quantum Programming Languages. Log. Methods Comput. Sci. Peng Fu, Kohei Kishida, Peter Selinger
2022	J	`jnl`	On the Lambek embedding and the category of product-preserving presheaves. CoRR Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2022	J	`jnl`	Proto-Quipper with dynamic lifting. CoRR Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2021	—	`conf`	Generators and Relations for Real Stabilizer Operators. QPL Justin Makary, Neil J. Ross, Peter Selinger
2021	—	`conf`	Generators and Relations for the Group O QPL Sarah Meng Li, Neil J. Ross, Peter Selinger
2021	—	`conf`	Generators and relations for U QPL Xiaoning Bian, Peter Selinger
2020	C	`conf`	A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper. RC Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2020	J	`jnl`	A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper. CoRR Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
2020	J	`jnl`	Linear Dependent Type Theory for Quantum Programming Languages. CoRR Peng Fu, Kohei Kishida, Peter Selinger
2020	A*	`conf`	Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract. LICS Peng Fu, Kohei Kishida, Peter Selinger
2019	—	`ed.`	Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018. QPL Peter Selinger, Giulio Chiribella
2018	J	`jnl`	A finite alternation result for reversible boolean circuits. Sci. Comput. Program. Peter Selinger
2018	B	`conf`	Challenges in Quantum Programming Languages (Invited Talk). FSCD Peter Selinger
2018	J	`jnl`	Dependently Typed Folds for Nested Data Types. CoRR Peng Fu, Peter Selinger
2018	J	`jnl`	Quantum Programming Languages (Dagstuhl Seminar 18381). Dagstuhl Reports Michele Mosca, Martin Roetteler, Peter Selinger
2017	—	`conf`	A categorical model for a quantum circuit description language. QPL Francisco Rios, Peter Selinger
2016	C	`conf`	A Finite Alternation Result for Reversible Boolean Circuits. RC Peter Selinger
2016	J	`jnl`	A finite alternation result for reversible boolean circuits. CoRR Peter Selinger
2016	J	`jnl`	Optimal ancilla-free Clifford+ Quantum Inf. Comput. Neil J. Ross, Peter Selinger
2016	J	`jnl`	Reversible k-valued logic circuits are finitely generated for odd k. CoRR Peter Selinger
2015	J	`jnl`	Efficient Clifford+T approximation of single-qubit operators. Quantum Inf. Comput. Peter Selinger
2015	J	`jnl`	Generators and relations for n-qubit Clifford operators. Log. Methods Comput. Sci. Peter Selinger
2015	—	`ed.`	Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015. QPL Chris Heunen, Peter Selinger, Jamie Vicary
2015	J	`jnl`	Programming the quantum future. Commun. ACM Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith
2014	A*	`conf`	Applying quantitative semantics to higher-order quantum computing. POPL Michele Pagani, Peter Selinger, Benoît Valiron
2014	J	`jnl`	Optimal ancilla-free Clifford+T approximation of z-rotations. CoRR Neil J. Ross, Peter Selinger
2014	J	`jnl`	Quipper: Concrete Resource Estimation in Quantum Algorithms. CoRR Jonathan M. Smith, Neil J. Ross, Peter Selinger, Benoît Valiron
2013	J	`jnl`	An Introduction to Quantum Programming in Quipper CoRR Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
2013	C	`conf`	An Introduction to Quantum Programming in Quipper. RC Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
2013	J	`jnl`	Applying quantitative semantics to higher-order quantum computing. CoRR Michele Pagani, Peter Selinger, Benoît Valiron
2013	—	`conf`	Completely positive projections and biproducts. QPL Chris Heunen, Aleks Kissinger, Peter Selinger
2013	—	`conf`	Presheaf Models of Quantum Computation: An Outline. Computation, Logic, Games, and Quantum Foundations Octavio Malherbe, Philip J. Scott, Peter Selinger
2013	J	`jnl`	Quipper: A Scalable Quantum Programming Language CoRR Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
2013	A*	`conf`	Quipper: a scalable quantum programming language. PLDI Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
2013	J	`jnl`	Remarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators. CoRR Brett Giles, Peter Selinger
2012	J	`jnl`	Exact synthesis of multi-qubit Clifford+T circuits CoRR Brett Giles, Peter Selinger
2012	J	`jnl`	Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Log. Methods Comput. Sci. Peter Selinger
2012	C	`conf`	Logical Methods in Quantum Information Theory. WoLLIC Peter Selinger
2012	J	`jnl`	Quantum circuits of T-depth one CoRR Peter Selinger
2011	—	`ed.`	Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011. QPL Bart Jacobs, Peter Selinger, Bas Spitters
2011	—	`ed.`	Proceedings of the 6th International Workshop on Quantum Physics and Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009 QPL@MFPS Bob Coecke, Prakash Panangaden, Peter Selinger
2011	—	`ed.`	Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008 QPL/DCM@ICALP Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger
2010	B	`conf`	Preface. MFPS Michael W. Mislove, Peter Selinger
2010	B	`ed.`	Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2010, Ottawa, Ontario, Canada, May 6-10, 2010 MFPS Michael W. Mislove, Peter Selinger
2009	—	`conf`	Preface. QPL@MFPS Bob Coecke, Prakash Panangaden, Peter Selinger
2008	B	`conf`	A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). FoSSaCS Peter Selinger, Benoît Valiron
2008	J	`jnl`	A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract) CoRR Peter Selinger, Benoît Valiron
2008	—	`conf`	Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract). QPL/DCM@ICALP Peter Selinger
2008	J	`jnl`	Lecture notes on the lambda calculus CoRR Peter Selinger
2008	—	`conf`	Preface. QPL/DCM@ICALP Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger
2008	—	`ed.`	Proceedings of the 4th International Workshop on Quantum Programming Languages, QPL 2006, Oxford, UK, July 17-19, 2006 QPL Peter Selinger
2007	—	`ed.`	Proceedings of the 3rd International Workshop on Quantum Programming Languages, QPL 2005, DePaul University, Chicago, USA, June 30 - July 1, 2005 QPL Peter Selinger
2007	J	`jnl`	Simplicial cycles and the computation of simplicial trees. J. Symb. Comput. Massimo Caboara, Sara Faridi, Peter Selinger
2006	J	`jnl`	A lambda calculus for quantum computation with classical control. Math. Struct. Comput. Sci. Peter Selinger, Benoît Valiron
2006	—	`conf`	Idempotents in Dagger Categories: (Extended Abstract). QPL Peter Selinger
2006	—	`conf`	On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract). QPL Peter Selinger, Benoît Valiron
2006	—	`conf`	Preface. QPL Peter Selinger
2006	J	`jnl`	Special issue on quantum programming languages. Math. Struct. Comput. Sci. Peter Selinger
2006	—	`conf`	Tree Checking for Sparse Complexes. ICMS Massimo Caboara, Sara Faridi, Peter Selinger
2005	—	`conf`	A Lambda Calculus for Quantum Computation with Classical Control. TLCA Peter Selinger, Benoît Valiron
2005	—	`conf`	Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract). QPL Peter Selinger
2005	—	`conf`	Preface. QPL Peter Selinger
2004	Misc	`conf`	A Brief Survey of Quantum Programming Languages. FLOPS Peter Selinger
2004	J	`jnl`	Towards a quantum programming language. Math. Struct. Comput. Sci. Peter Selinger
2003	J	`jnl`	Order-incompleteness and finite lambda reduction models. Theor. Comput. Sci. Peter Selinger
2002	—	`ed.`	Category Theory and Computer Science, CTCS 2002, Ottawa, Canada, August 15-17, 2002 CTCS Richard Blute, Peter Selinger
2002	—	`conf`	Preface. CTCS Richard Blute, Peter Selinger
2002	J	`jnl`	The lambda calculus is algebraic. J. Funct. Program. Peter Selinger
2001	—	`conf`	Categorical Semantics of Control. TLCA Peter Selinger
2001	J	`jnl`	Control categories and duality: on the categorical semantics of the lambda-mu calculus. Math. Struct. Comput. Sci. Peter Selinger
2001	—	`conf`	Models for an adversary-centric protocol logic. LACPV@CAV Peter Selinger
1999	B	`conf`	Categorical Structure of Asynchrony. MFPS Peter Selinger
1997	B	`conf`	First-Order Axioms for Asynchrony. CONCUR Peter Selinger
1996	A*	`conf`	Order-Incompleteness and Finite Lambda Models (Extended Abstract). LICS Peter Selinger