Some properties of the -calculus

DOI10.1080/11663081.2012.705963zbMath1398.03065OpenAlexW2041147217MaRDI QIDQ4583170

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

classical natural deductionChurch-Rosserstandardisationlambda-mu-calculusfiniteness developmentsleft most reduction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• A semantical proof of the strong normalization theorem for full propositional classical natural deduction
• Strong normalization proofs by CPS-translations
• Non-strictly positive fixed points for classical natural deduction
• Church-Rosser property of a simple reduction for full first-order classical natural deduction
• A normalization-procedure for the first order classical natural deduction with full logical symbols
• Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus
• A short proof of the strong normalization of classical natural deduction with disjunction

This page was built for publication: Some properties of the -calculus