Confluence Results for a Quantum Lambda Calculus with Measurements

Simple item page
dc.creatorLago, Ugo Dal
dc.creatorMasini, Andrea
dc.creatorZorzi, Margherita
dc.date2009-05-28
dc.date.accessioned2026-07-07T13:18:45Z
dc.date.available2026-07-07T13:18:45Z
dc.descriptionA 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.
dc.description21 pages
dc.identifierhttps://arxiv.org/abs/0905.4567
dc.identifierhttp://arxiv.org/abs/0905.4567
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/231528
dc.subjectLogic in Computer Science
dc.subjectF.4.1
dc.titleConfluence Results for a Quantum Lambda Calculus with Measurements
dc.typetext

Files

Collections

arXiv