-calculus. II

DOI10.21099/TKBJM/1389972031MaRDI QIDQ2434902zbMATH OpenOpenAlexFDO

Authors Yuichi Komori

Publication date 31 January 2014

Published in Tsukuba Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.tkbjm/1389972031

zbMATH Keywords

typed \(\lambda\)-calculusclassical logicstrong normalization theoremLK\(\lambda \mu\)-calculus\(\lambda \rho\)-calculus

Mathematics Subject Classification ID

Classical propositional logic (03B05) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 2024631
• Reduction rules for intuitionistic \(\lambda\rho\)-calculus
• Strong normalization of \(\lambda^{\mathrm{Sym}}_{\mathrm{Prop}}\)- and \(\overline{\lambda}\mu\overline{\mu}^\ast\)-calculi
• Arithmetical proofs of strong normalization results for symmetric lambda calculi
• Strong normalization of a symmetric lambda calculus for second-order classical logic

Cited in

(3)

• Reduction rules for intuitionistic \(\lambda\rho\)-calculus
• Normalization in the simply typed -calculus
• scientific article; zbMATH DE number 2024631 (Why is no real title available?)

This page was built for publication: \(\lambda \rho\)-calculus. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2434902)