Lambda Mu Calculus and Duality: Call-by-Name and Call-by-Value

Details Lambda Mu Calculus and Duality: Call-by-Name and Call-by-Value Lambda Mu Calculus and Duality: Call-by-Name and Call-by-Value

2007-06-12

arxiv.org/abs/0706.1728v1

Term Rewriting and Applications (19/04/2005) 204-218

Mathematics

Logic

Scientific paper

Under the extension of Curry-Howard's correspondence to classical logic, Gentzen's NK and LK systems can be seen as syntax-directed systems of simple types respectively for Parigot's Lambda Mu Calculus and Curien-Herbelin's Lambda Bar Mu Mu Tidle Calculus. We aim at showing their computational equivalence. We define translations between these calculi. We prove simulation theorems for an undirected evaluation as well as for call-by-name and call-by-value evaluations.

Affiliated with

Also associated with

No associations

Rating

Lambda Mu Calculus and Duality: Call-by-Name and Call-by-Value 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 Lambda Mu Calculus and Duality: Call-by-Name and Call-by-Value, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Lambda Mu Calculus and Duality: Call-by-Name and Call-by-Value will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-359863