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.

Confluence results for a quantum lambda calculus with measurements

MASINI, Andrea;ZORZI, Margherita
2011-01-01

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.
2011
lambda calculus; confluence; quantum computing; measurement
File in questo prodotto:
File Dimensione Formato  
QLCM.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: Dominio pubblico
Dimensione 250.41 kB
Formato Adobe PDF
250.41 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11562/338081
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 16
  • ???jsp.display-item.citation.isi??? ND
social impact