A quantum computation-analog of the classical lambda calculus, using linear types.
(…)
Benoît Valiron, A functional programming language for quantum computation with classical control, MSc thesis, University of Ottawa (2004) [doi:10.20381/ruor-18372, pdf]
Peter Selinger, Benoît Valiron, A lambda calculus for quantum computation with classical control, Proc. of TLCA 2005 [arXiv:cs/0404056, doi:10.1007/11417170_26]
Peter Selinger, Benoît Valiron, Quantum Lambda Calculus, in: Semantic Techniques in Quantum Computation, Cambridge University Press (2009) 135-172 [doi:10.1017/CBO9781139193313.005, pdf]
[Selinger (2016):] When the QPL workshop series was first founded, it was called “Quantum Programming Languages”. One year I wasn’t participating, and while I wasn’t looking they changed the name to “Quantum Physics and Logic” — same acronym!
Back in those days in the early 21st century we were actually trying to do programming languages for quantum computing [Selinger & Valiron 2004], but the sad thing is: In those days nobody really cared. […]
Now it’s 15 years later and several of these parameters have changed: There has been a renewed interest, from government agencies and also from companies who are actually building quantum computers. […]
So now people are working on quantum programming languages again.
See also:
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron: A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus, EPTCS 88 (2012) 1-15 [arXiv:1012.4032, doi:10.4204/EPTCS.88.1]
Alejandro Díaz-Caro, Gilles Dowek: Typing Quantum Superpositions and Measurement, in: Theory and Practice of Natural Computing. TPNC 2017, Lecture Notes in Computer Science 10687, Springer (2017) [doi:10.1007/978-3-319-71069-3_22]
Implementation as an embedded programming language in Haskell:
A categorical semantics on von Neumann algebras:
Last revised on July 16, 2024 at 13:23:59. See the history of this page for a list of all contributions to it.