Sums in linear algebraic lambda-calculus

Details Sums in linear algebraic lambda-calculus Sums in linear algebraic lambda-calculus

2010-11-15

arxiv.org/abs/1011.3542v2

Computer Science

Logic in Computer Science

23 pages

Scientific paper

The linear algebraic lambda calculus is aimed at extending the expressivity of the pure lambda calculus to quantum computing, thanks to some vectorial constructions. In this paper we propose a polymorphic type system for the fragment of this calculus with sums, for which we prove the subject reduction property. We then interpret this fragment into the System F with pairs, taking care of the commutativity and the associativity of sums in the original calculus. This makes the computational behaviour of sum terms more clear.

Affiliated with

Also associated with

No associations

Rating

Sums in linear algebraic lambda-calculus 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 Sums in linear algebraic lambda-calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Sums in linear algebraic lambda-calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-463155