 |
Free and accessible knowledge |
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.
https://hal.archives-ouvertes.fr/hal-00483924
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
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
