Quantum Lambda Calculus

(http://arxiv.org/abs/cs/0404056)
Quantum programming languages are apparently Peter Selinger's thing, and Benoit Valiron is his student.

I think that if you're familiar with affine linear types and have even a little knowledge of quantum computation, this paper will seem straightforward. (I'm not saying it was easy for the authors to write, but there are not big surprises.)

I'm not sure how useful this will be after quantum computers are built (reality always makes things new and difficult), but it might be useful for assessing the impact of, say, a 15-qbit peripheral with such-and-so operations that it can perform. Knowing the impact (a vague guess at the efficiency gains one might expect), could affect development of such a peripheral- which operations are important to support and which are inessential.