2012/10/02 by Ugo Dal Lago, Claudia Faggian
Computer Science · Physics and Astronomy · #cs.LO #quant-ph
paper · pdf · doi:10.4204/eptcs.95.6
published as EPTCS 95, 2012, pp. 55-66 · In Proceedings QPL 2011, arXiv:1210.0298
arxiv created 2012/10/02 · arxiv updated 2012/10/03
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.