Strong normalization results by translation

Details Strong normalization results by translation Strong normalization results by translation

2009-05-18

arxiv.org/abs/0905.2892v1

Mathematics

Logic

Submitted to APAL

Scientific paper

We prove the strong normalization of full classical natural deduction (i.e.
with conjunction, disjunction and permutative conversions) by using a
translation into the simply typed lambda-mu-calculus. We also extend Mendler's
result on recursive equations to this system.

Affiliated with

Also associated with

No associations

Rating

Strong normalization results by translation 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 Strong normalization results by translation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Strong normalization results by translation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-609783