2 research outputs found
Strong Normalization of a Symmetric Lambda Calculus for Second Order Classical Logic
We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization