A lambda calculus for quantum computation with classical control - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

A lambda calculus for quantum computation with classical control

Résumé

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.

Dates et versions

hal-00483924 , version 1 (17-05-2010)

Identifiants

Citer

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⟩
31 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More