Sciweavers

Share
CORR
2004
Springer

Quantum typing

8 years 11 months ago
Quantum typing
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Selinger (2003) on quantum flow-charts. We define a call-by-value operational semantics, and we develop a type system using affine intuitionistic linear logic. The main result of this preprint is the subject-reduction of the language.
Benoît Valiron
Added 17 Dec 2010
Updated 17 Dec 2010
Type Journal
Year 2004
Where CORR
Authors Benoît Valiron
Comments (0)
books