-calculus. II

DOI10.21099/TKBJM/1389972031zbMATH Open1280.03016OpenAlexW2253420079MaRDI QIDQ2434902FDOQ2434902

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

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

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)

Cited In (3)

• Reduction rules for intuitionistic \(\lambda\rho\)-calculus
• Normalization in the simply typed -calculus
• Title not available (Why is that?)

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)