Ugo Dal Lago (Università di Bologna & INRIA Sophia Antipolis) |
Claudia Faggian (CNRS & Université Denis-Diderot Paris 7) |
A logical system derived from linear logic and called QMLL is introduced and shown able to capture all unitary quantum circuits. Conversely, any proof is shown to compute, through a concrete GoI interpretation, some quantum circuits. The system QMLL, which enjoys cut-elimination, is obtained by endowing multiplicative linear logic with a quantum modality. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.95.6 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |