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...
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have