Physics – Quantum Physics
Scientific paper
2005-01-25
Quantum Programming Languages 2004, satellite of LICS, Turku Centre for Computer Science General Publication, Vol. 33, (2004)
Physics
Quantum Physics
LaTeX, 23 pages, 10 figures and the LINEAL language interpreter/simulator file (see "other formats"). Also available at http
Scientific paper
With a view towards models of quantum computation and/or the interpretation of linear logic, we define a functional language where all functions are linear operators by construction. A small step operational semantic (and hence an interpreter/simulator) is provided for this language in the form of a term rewrite system. The linear-algebraic lambda-calculus hereby constructed is linear in a different (yet related) sense to that, say, of the linear lambda-calculus. These various notions of linearity are discussed in the context of quantum programming languages. KEYWORDS: quantum lambda-calculus, linear lambda-calculus, $\lambda$-calculus, quantum logics.
Arrighi Pablo
Dowek Gilles
No associations
LandOfFree
Linear-algebraic lambda-calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Linear-algebraic lambda-calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Linear-algebraic lambda-calculus will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-513919