2009/05/28 by Ugo Dal Lago, Lago, Ugo Dal, Andrea Masini +3
Computer Science · Physics and Astronomy · #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications
paper · pdf · doi:10.48550/arxiv.0905.4567
openalex publication_date 2009/05/28 · openalex created_date 2019/06/27 · openalex updated_date 2026/07/28
A strong confluence result for Q*, a quantum lambda-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.