Peter Selinger

CoRR, 2023

Generators and Relations for 3-Qubit Clifford+CS Operators.

[BibT_eX]

[DOI]

Xiaoning Bian

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Towards an Induction Principle for Nested Data Types.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information, and Computation, 2023

2022

Linear Dependent Type Theory for Quantum Programming Languages.

[BibT_eX]

[DOI]

Kohei Kishida

Log. Methods Comput. Sci., 2022

On the Lambek embedding and the category of product-preserving presheaves.

[BibT_eX]

[DOI]

CoRR, 2022

A biset-enriched categorical model for Proto-Quipper with dynamic lifting.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

Generators and Relations for 2-Qubit Clifford+T Operators.

[BibT_eX]

[DOI]

Xiaoning Bian

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2021

Generators and Relations for Real Stabilizer Operators.

[BibT_eX]

[DOI]

Justin Makary

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

Generators and Relations for the Group On(Z[1/2]).

[BibT_eX]

[DOI]

Sarah Meng Li

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

Generators and relations for Un(Z[½, i]).

[BibT_eX]

[DOI]

Xiaoning Bian

Proceedings of the Proceedings 18th International Conference on Quantum Physics and Logic, 2021

2020

A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper.

[BibT_eX]

[DOI]

Proceedings of the Reversible Computation - 12th International Conference, 2020

Linear Dependent Type Theory for Quantum Programming Languages: Extended Abstract.

[BibT_eX]

[DOI]

Kohei Kishida

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2018

A finite alternation result for reversible boolean circuits.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Quantum Programming Languages (Dagstuhl Seminar 18381).

[BibT_eX]

[DOI]

Michele Mosca

Martin Roetteler

Dagstuhl Reports, 2018

Dependently Typed Folds for Nested Data Types.

[BibT_eX]

[DOI]

CoRR, 2018

Challenges in Quantum Programming Languages (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2017

A categorical model for a quantum circuit description language.

[BibT_eX]

[DOI]

Francisco Rios

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

2016

Optimal ancilla-free Clifford+T approximation of z-rotations.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2016

Reversible k-valued logic circuits are finitely generated for odd k.

[BibT_eX]

[DOI]

CoRR, 2016

2015

Efficient Clifford+T approximation of single-qubit operators.

[BibT_eX]

[DOI]

Quantum Inf. Comput., 2015

Generators and relations for n-qubit Clifford operators.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2015

Programming the quantum future.

[BibT_eX]

[DOI]

Commun. ACM, 2015

2014

Quipper: Concrete Resource Estimation in Quantum Algorithms.

[BibT_eX]

[DOI]

CoRR, 2014

Optimal ancilla-free Clifford+T approximation of z-rotations.

[BibT_eX]

[DOI]

CoRR, 2014

Applying quantitative semantics to higher-order quantum computing.

[BibT_eX]

[DOI]

Michele Pagani

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Completely positive projections and biproducts.

[BibT_eX]

[DOI]

Chris Heunen

Aleks Kissinger

Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013

Remarks on Matsumoto and Amano's normal form for single-qubit Clifford+T operators.

[BibT_eX]

[DOI]

Brett Giles

CoRR, 2013

An Introduction to Quantum Programming in Quipper.

[BibT_eX]

[DOI]

Alexander S. Green

Peter LeFanu Lumsdaine

Proceedings of the Reversible Computation - 5th International Conference, 2013

Quipper: a scalable quantum programming language.

[BibT_eX]

[DOI]

Alexander S. Green

Peter LeFanu Lumsdaine

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Presheaf Models of Quantum Computation: An Outline.

[BibT_eX]

[DOI]

Octavio Malherbe

Philip J. Scott

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Exact synthesis of multi-qubit Clifford+T circuits

[BibT_eX]

[DOI]

Brett Giles

CoRR, 2012

Quantum circuits of T-depth one

[BibT_eX]

[DOI]

CoRR, 2012

Finite dimensional Hilbert spaces are complete for dagger compact closed categories.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Logical Methods in Quantum Information Theory.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, Information and Computation, 2012

2010

Preface.

[BibT_eX]

[DOI]

Michael W. Mislove

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

2009

Preface.

[BibT_eX]

[DOI]

Bob Coecke

Prakash Panangaden

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

2008

Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

Preface.

[BibT_eX]

[DOI]

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

Lecture notes on the lambda calculus

[BibT_eX]

[DOI]

CoRR, 2008

A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

Simplicial cycles and the computation of simplicial trees.

[BibT_eX]

[DOI]

Massimo Caboara

Sara Faridi

J. Symb. Comput., 2007

2006

A lambda calculus for quantum computation with classical control.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

Special issue on quantum programming languages.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2006

On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

Idempotents in Dagger Categories: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

Tree Checking for Sparse Complexes.

[BibT_eX]

[DOI]

Massimo Caboara

Sara Faridi

Proceedings of the Mathematical Software, 2006

2005

Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

Preface.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Quantum Programming Languages, 2005

2004

Towards a quantum programming language.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2004

A Brief Survey of Quantum Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

Order-incompleteness and finite lambda reduction models.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

2002

The lambda calculus is algebraic.

[BibT_eX]

[DOI]

J. Funct. Program., 2002

Preface.

[BibT_eX]

[DOI]

Richard Blute

Proceedings of the Category Theory and Computer Science, 2002

2001

Control categories and duality: on the categorical semantics of the lambda-mu calculus.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2001

Models for an adversary-centric protocol logic.

[BibT_eX]

[DOI]

Proceedings of the Logical Aspects of Cryptographic Protocol Verification, 2001

Categorical Semantics of Control.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

1999

Categorical Structure of Asynchrony.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Conference on Mathematical Foundations of Progamming Semantics, 1999

1997

First-Order Axioms for Asynchrony.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Order-Incompleteness and Finite Lambda Models (Extended Abstract).

[BibT_eX]

[DOI]