Arithmetical proofs of strong normalization results for symmetric lambda calculi

zbMath1122.03008arXiv0905.0762MaRDI QIDQ3593501

René David, Karim Nour

Publication date: 20 July 2007

Full work available at URL: https://arxiv.org/abs/0905.0762

zbMATH Keywords

strong normalizationclassical logicsymmetric lambda calculus

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Normalization in the simply typed -calculus ⋮ Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus ⋮ An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus

This page was built for publication: Arithmetical proofs of strong normalization results for symmetric lambda calculi