Confluency property of the call-by-value $λμ^{\wedge \vee}$-calculus

Details Confluency property of the call-by-value $λμ^{\wedge \vee}$-calculus Confluency property of the call-by-value $λμ^{\wedge \vee}$-calculus

2009-05-07

arxiv.org/abs/0905.1102v1

Computational Logic and Applications, CLA '05, France (2005)

Mathematics

Logic

Scientific paper

In this paper, we introduce the $\lambda\mu^{\wedge \vee}$- call-by-value
calculus and we give a proof of the Church-Rosser property of this system. This
proof is an adaptation of that of Andou which uses an extended parallel
reduction method and complete development.

Affiliated with

Also associated with

No associations

Rating

Confluency property of the call-by-value $λμ^{\wedge \vee}$-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 Confluency property of the call-by-value $λμ^{\wedge \vee}$-calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Confluency property of the call-by-value $λμ^{\wedge \vee}$-calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-456153