Arithmetical Proofs of Strong Normalization Results for Symmetric -calculi
DavidRené, NourKarim · Fundamenta Informaticae · 2007
We give arithmetical proofs of the strong normalization of two symmetric -calculi corresponding to classical logic. The first one is the -calculus introduced by Curien & Herbelin. It is derived via...