Confluence Results for a Quantum Lambda Calculus with Measurements

Date
Authors
Lago, Ugo Dal
Masini, Andrea
Zorzi, Margherita
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
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.
Comment: 21 pages
Keywords
Computer Science - Logic in Computer Science, F.4.1
Citation
Collections