A Lambda Calculus for Quantum Computation with Classical Control. Selinger, P. & Valiron, B. Mathematical Structures in Computer Science, 16(3):527–552, June, 2006. Paper doi abstract bibtex In this paper we develop a functional programming language for quantum computers by extending the simply-typed lambda calculus with quantum types and operations. The design of this language adheres to the 'quantum data, classical control' paradigm, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and give a type system using affine intuitionistic linear logic. The main results of this paper are the safety properties of the language and the development of a type inference algorithm.
@article{Selinger2006,
title = {A Lambda Calculus for Quantum Computation with Classical Control},
author = {Selinger, Peter and Valiron, Beno{\^i}t},
year = {2006},
month = jun,
journal = mscs,
volume = {16},
number = {3},
pages = {527--552},
doi = {10.1017/S0960129506005238},
url = {https://www.mscs.dal.ca/~selinger/papers/papers/qlambda-mscs.pdf},
abstract = {In this paper we develop a functional programming language for quantum computers by extending the simply-typed lambda calculus with quantum types and operations. The design of this language adheres to the 'quantum data, classical control' paradigm, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and give a type system using affine intuitionistic linear logic. The main results of this paper are the safety properties of the language and the development of a type inference algorithm.},
bibsource = qplbib
}
Downloads: 0
{"_id":"XsB3u66hb8ftaCNpf","bibbaseid":"selinger-valiron-alambdacalculusforquantumcomputationwithclassicalcontrol-2006","authorIDs":[],"author_short":["Selinger, P.","Valiron, B."],"bibdata":{"bibtype":"article","type":"article","title":"A Lambda Calculus for Quantum Computation with Classical Control","author":[{"propositions":[],"lastnames":["Selinger"],"firstnames":["Peter"],"suffixes":[]},{"propositions":[],"lastnames":["Valiron"],"firstnames":["Benoît"],"suffixes":[]}],"year":"2006","month":"June","journal":"Mathematical Structures in Computer Science","volume":"16","number":"3","pages":"527–552","doi":"10.1017/S0960129506005238","url":"https://www.mscs.dal.ca/~selinger/papers/papers/qlambda-mscs.pdf","abstract":"In this paper we develop a functional programming language for quantum computers by extending the simply-typed lambda calculus with quantum types and operations. The design of this language adheres to the 'quantum data, classical control' paradigm, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and give a type system using affine intuitionistic linear logic. The main results of this paper are the safety properties of the language and the development of a type inference algorithm.","bibsource":"Quantum Programming Languages & Verification Bibliography, https://git.io/qpl-bib","bibtex":"@article{Selinger2006,\n title = {A Lambda Calculus for Quantum Computation with Classical Control},\n author = {Selinger, Peter and Valiron, Beno{\\^i}t},\n year = {2006},\n month = jun,\n journal = mscs,\n volume = {16},\n number = {3},\n pages = {527--552},\n doi = {10.1017/S0960129506005238},\n url = {https://www.mscs.dal.ca/~selinger/papers/papers/qlambda-mscs.pdf},\n abstract = {In this paper we develop a functional programming language for quantum computers by extending the simply-typed lambda calculus with quantum types and operations. The design of this language adheres to the 'quantum data, classical control' paradigm, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and give a type system using affine intuitionistic linear logic. The main results of this paper are the safety properties of the language and the development of a type inference algorithm.},\n bibsource = qplbib\n}\n\n","author_short":["Selinger, P.","Valiron, B."],"key":"Selinger2006","id":"Selinger2006","bibbaseid":"selinger-valiron-alambdacalculusforquantumcomputationwithclassicalcontrol-2006","role":"author","urls":{"Paper":"https://www.mscs.dal.ca/~selinger/papers/papers/qlambda-mscs.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://raw.githubusercontent.com/QuantumPL/bib/main/bbt.bib","creationDate":"2020-05-31T17:07:22.679Z","downloads":0,"keywords":[],"search_terms":["lambda","calculus","quantum","computation","classical","control","selinger","valiron"],"title":"A Lambda Calculus for Quantum Computation with Classical Control","year":2006,"dataSources":["Z5Dp3qAJiMzxtvKMq","JG9W34HAXfSxsC6ML"]}