Confluence Results for a Quantum Lambda Calculus with Measurements
Logic in Computer Science
2009-05-29 v1
Abstract
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.
Cite
@article{arxiv.0905.4567,
title = {Confluence Results for a Quantum Lambda Calculus with Measurements},
author = {Ugo Dal Lago and Andrea Masini and Margherita Zorzi},
journal= {arXiv preprint arXiv:0905.4567},
year = {2009}
}
Comments
21 pages