24 citations · 79 across the 15 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Claudia Faggian
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…