HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A lambda calculus for quantum computation with classical control

Abstract : The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and we 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.
Document type :
Conference papers
Complete list of metadata

Contributor : Benoît Valiron Connect in order to contact the contributor
Submitted on : Monday, May 17, 2010 - 2:53:24 PM
Last modification on : Thursday, September 2, 2021 - 8:14:03 AM

Links full text



Peter Selinger, Benoit Valiron. A lambda calculus for quantum computation with classical control. Seventh International Conference on Typed Lambda Calculi and Applications, Apr 2005, Nara, Japan. pp.354--368, ⟨10.1007/11417170_26⟩. ⟨hal-00483924⟩



Record views