Quantum Lambda Calculus
Published in Cambridge University Press eBooks • Nov 30, 2009
Authors:,
Peter Selinger
Benoît Valiron
Abstract
We discuss the design of a typed lambda calculus for quantum computation. After a brief discussion of the role of higher-order functions in quantum information theory, we define the quantum lambda calculus and its operational semantics. Safety invariants, such as the no-cloning property, are enforce...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!