A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
A strong confluence result for Q * , a quantum λ-calculus with measurements, is proved. More precisely, confluence is shown to hold both for finite and infinite computations. The technique used in the confluence proof is syntactical but innovative. This makes Q * different from similar quantum lambda calculi, which are either measurement-free or provided with a reduction strategy.doi:10.1016/j.entcs.2011.01.035 fatcat:m3teextuwzdbjetrg2m6ac5hhe