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.
Ugo Dal Lago, Andrea Masini, Margherita Zorzi (2011). Confluence Results for a Quantum Lambda Calculus with Measurements. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 270, 251-261 [10.1016/j.entcs.2011.01.035].
Confluence Results for a Quantum Lambda Calculus with Measurements
DAL LAGO, UGO;
2011
Abstract
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
