A lambda calculus for quantum computation with classical control

Details A lambda calculus for quantum computation with classical control A lambda calculus for quantum computation with classical control

2004-04-27

arxiv.org/abs/cs/0404056v2

Proc. of TLCA 2005

Computer Science

Logic in Computer Science

15 pages, submitted to TLCA'05. Note: this is basically the work done during the first author master, his thesis can be found

Scientific paper

10.1007/11417170_26

The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the first author's work on quantum flow-charts. We define a call-by-value operational semantics, and we give a type system using affine intuitionistic linear logic. The main results of this paper are the safety properties of the language and the development of a type inference algorithm.

Affiliated with

Also associated with

No associations

Rating

A lambda calculus for quantum computation with classical control 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 A lambda calculus for quantum computation with classical control, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A lambda calculus for quantum computation with classical control will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-376699