Mathematics – Logic
Scientific paper
2007-06-12
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.
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-359863