nLab
Peter Selinger

• webpage

Selected writings

Introducing quantum programming:

via QPL:

• Peter Selinger, Towards a quantum programming language, Mathematical Structures in Computer Science 14(4):527–586, 2004 (doi:10.1017/S0960129504004256, pdf, web)

via Quipper:

• Alexander Green, Peter LeFanu Lumsdaine, Neil Ross, Peter Selinger, Benoît Valiron, Quipper: A Scalable Quantum Programming Language, ACM SIGPLAN Notices 48(6):333-342, 2013 (arXiv:1304.3390)

• Alexander Green, Peter LeFanu Lumsdaine, Neil Ross, Peter Selinger, Benoît Valiron, An Introduction to Quantum Programming in Quipper, Lecture Notes in Computer Science 7948:110-124, Springer, 2013 (arXiv:1304.5485)

• Jonathan Smith, Neil Ross, Peter Selinger, Benoît Valiron, Quipper: Concrete Resource Estimation in Quantum Algorithms, QAPL 2014 (arXiv:1412.0625)

• Peter Selinger, The Quipper Language (web)

On string diagram-calculus for monoidal categories:

• Peter Selinger, A survey of graphical languages for monoidal categories, in: Bob Coecke (ed.) New Structures for Physics, Lecture Notes in Physics, vol 813. Springer, Berlin, Heidelberg (2010) (arXiv:0908.334, doi:10.1007/978-3-642-12821-9_4)

On quantum programming via dependent linear type theory:

• Peng Fu, Kohei Kishida, Peter Selinger, Linear Dependent Type Theory for Quantum Programming Languages, LICS ‘20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer ScienceJuly 2020 Pages 440–453 (arXiv:2004.13472, doi:10.1145/3373718.3394765, pdf, video)

• Peng Fu, Kohei Kishida, Neil Ross, Peter Selinger, A Tutorial Introduction to Quantum Circuit Programming in Dependently Typed Proto-Quipper, in I. Lanese, M. Rawski (eds.) Reversible Computation RC 2020. Lecture Notes in Computer Science, vol 12227 (arXiv:2005.08396, doi:10.1007/978-3-030-52482-1_9)

category: people