English version

PPS UMR 7126 – Laboratoire
Preuves, Programmes et Systèmes

Accueil · Présentation · Membres · Publications · Séminaire · Groupes de travail · Projets · πr²

Alessandra Di Pierro

Topological Quantum Lambda-calculus

Topological Quantum Computation (TQC) is a new paradigm for quantum computation that is resistant to errors. We revisit TQC from the perspective of computability theory and show how the computational features of TQC can be captured by a notion of function abstraction and application. To this purpose we define a formalism for this paradigm that is similar to the classical lambda-calculus and that we call the anyonic lambda-calculus. For this calculus we provide an operational semantics in the form of a rewriting system and we show its confluence.