Confluence Results for a Quantum Lambda Calculus with Measurements

Thumbnail Image

Date

Authors

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.
21 pages

Keywords

Logic in Computer Science, F.4.1

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/231528

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0905.4567
 http://arxiv.org/abs/0905.4567

Collections

arXiv