A finite-dimensional model for affine, linear quantum lambda calculi with general recursion

Abstract: (joint work with Alejandro Díaz-Caro, Hernán Melgratti, and Benoît Valiron)

We introduce a concrete domain model for the quantum lambda calculus and lambda-rho extended with a fixpoint operator. A distinctive feature of lambda-rho is that it relies on density matrices for describing both quantum information and probabilistic distributions over computation states. It has been shown that there is a conservative translation from lambda-rho to the quantum lambda calculus of Selinger and Valiron. In contrast to existing models for quantum lambda calculi featuring recursion with intuitionistic arrows, our model is finite-dimensional and does not need more than cones of positive matrices and affine arrows.

Spanishlogic in computer scienceprogramming languages

Audience: researchers in the topic

( paper )

---

LoReL Seminar

Series comments: Talks are either in Spanish or English, however they can often be in English upon request.

---