B. Valiron (LIPN, Paris 13)

Quantum computation and algebraic lambda-calculus: A vectorial type system.

Abstract:

In 2008, Arrighi and Dowek devised Lineal, an algebraic lambda-calculus meant for quantum computation. In this talk, I will discuss the particularities of this language and the difficulties encountered while trying to match the behavior of quantum computation. Then I will present the latest development: an algebraic lambda-calculus endowed with a vectorial type system. I'll present the properties of this language and show how it relates to quantum computation.