Some properties of the ^-calculus

DOI10.1080/11663081.2012.705963MaRDI QIDQ4583170zbMATH OpenOpenAlexFDO

Authors Khelifa Saber, Karim Nour

Publication date 28 August 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2012.705963

zbMATH Keywords

Church-Rosserclassical natural deductionfiniteness developmentslambda-mu-calculusleft most reductionstandardisation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus
• Non deterministic classical logic: the $\lambda\mu^{++}$-calculus
• The differential \(\lambda \mu\)-calculus
• scientific article; zbMATH DE number 1222571
• scientific article; zbMATH DE number 1722654

Cites work

• A normalization-procedure for the first order classical natural deduction with full logical symbols
• A semantical proof of the strong normalization theorem for full propositional classical natural deduction
• A short proof of the strong normalization of classical natural deduction with disjunction
• Church-Rosser property of a simple reduction for full first-order classical natural deduction
• Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus
• scientific article; zbMATH DE number 1615235 (Why is no real title available?)
• scientific article; zbMATH DE number 1722654 (Why is no real title available?)
• scientific article; zbMATH DE number 46869 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 806614 (Why is no real title available?)
• scientific article; zbMATH DE number 1405618 (Why is no real title available?)
• Non-strictly positive fixed points for classical natural deduction
• Strong normalization proofs by CPS-translations
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(9)

• An interpretation of \(\lambda \mu\)-calculus in \(\lambda\)-calculus.
• The \(\lambda \mu^{\mathbf{T}}\)-calculus
• The differential \(\lambda \mu\)-calculus
• Parallel reduction in type free lambda/mu-calculus
• Some results about -property
• Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus
• An estimation for the lengths of reduction sequences of the \(\lambda\mu\rho\theta\)-calculus
• scientific article; zbMATH DE number 3993538 (Why is no real title available?)
• On the \(\mu \)-calculus over transitive and finite transitive frames

This page was built for publication: Some properties of the \(\lambda\mu^{\wedge\vee}\)-calculus

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