Suivre
Peter Selinger
Peter Selinger
Professor of Mathematics, Dalhousie University
Adresse e-mail validée de mathstat.dal.ca - Page d'accueil
Titre
Citée par
Citée par
Année
A survey of graphical languages for monoidal categories
P Selinger
New Structures for Physics, 289-355, 2011
9672011
Towards a quantum programming language
P Selinger
Mathematical Structures in Computer Science 14 (4), 527-586, 2004
6122004
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
5722013
Dagger compact closed categories and completely positive maps
P Selinger
Electronic Notes in Theoretical computer science 170, 139-163, 2007
5232007
Optimal ancilla-free Clifford+ T approximation of z-rotations.
NJ Ross, P Selinger
Quantum Inf. Comput. 16 (11&12), 901-953, 2016
3412016
Quantum circuits of -depth one
P Selinger
Physical Review A—Atomic, Molecular, and Optical Physics 87 (4), 042302, 2013
2602013
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
2462001
Exact synthesis of multi-qubit Clifford+T circuits
B Giles, P Selinger
arXiv preprint arXiv:1212.0506, 2012
2142012
A lambda calculus for quantum computation with classical control
P Selinger, B Valiron
Mathematical Structures in Computer Science 16 (3), 527-552, 2006
2142006
Efficient Clifford+T approximation of single-qubit operators
P Selinger
arXiv preprint arXiv:1212.6253, 2012
1942012
Potrace: a polygon-based tracing algorithm
P Selinger
Potrace (online), http://potrace.sourceforge.net/potrace.pdf (2009-07-01), 2003
1692003
A brief survey of quantum programming languages
P Selinger
Functional and Logic Programming, 61-69, 2004
1322004
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
1192014
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
1082013
Towards a semantics for higher-order quantum computation
P Selinger
Proceedings of the 2nd International Workshop on Quantum Programming …, 2004
1082004
Quantum lambda calculus
P Selinger, B Valiron
Semantic Techniques in Quantum Computation, 135-172, 2009
1072009
A lambda calculus for quantum computation with classical control
P Selinger, B Valiron
International Conference on Typed Lambda Calculi and Applications, 354-368, 2005
902005
Finite dimensional Hilbert spaces are complete for dagger compact closed categories
P Selinger
Logical Methods in Computer Science 8, 2012
812012
A categorical model for a quantum circuit description language
F Rios, P Selinger
arXiv preprint arXiv:1706.02630, 2017
802017
Idempotents in dagger categories
P Selinger
Electronic Notes in Theoretical Computer Science 210, 107-122, 2008
782008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20