Confluence Results for a Quantum Lambda Calculus with Measurements

Details Confluence Results for a Quantum Lambda Calculus with Measurements Confluence Results for a Quantum Lambda Calculus with Measurements

2009-05-28

arxiv.org/abs/0905.4567v1

Computer Science

Logic in Computer Science

21 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Confluence Results for a Quantum Lambda Calculus with Measurements does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Confluence Results for a Quantum Lambda Calculus with Measurements, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Confluence Results for a Quantum Lambda Calculus with Measurements will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-293384