Abstract

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...

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call